Initial state of the activity diagrams semantics
-rw-r--r-- 847 000-actdiag5.fm
-rw-r--r-- 1962 actdiag5.fm
-rw-r--r-- 846273 full-maude26.maude
-rw-r--r-- 3540 linear.maude
-rw-r--r-- 3965 machine-int.maude
-rw-r--r-- 3328 metaInterpreter.maude
-rw-r--r-- 85945 prelude.maude
-rw-r--r-- 2522 structs.dia