--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/HOLCF/IOA/Modelcheck/MuIOA.thy	Thu Apr 22 11:09:05 1999 +0200
@@ -0,0 +1,15 @@
+MuIOA = IOA + MuckeSyn +
+
+consts
+Internal_of_A :: 'a => bool
+Internal_of_C :: 'a => bool
+Start_of_A :: 'a => bool
+Start_of_C :: 'a => bool
+Trans_of_A :: 'a => 'b => bool
+Trans_of_C :: 'a => 'b => bool
+IntStep_of_A :: 'a => bool
+IntStepStar_of_A :: 'a => bool
+Move_of_A :: 'a => 'b => bool
+isSimCA :: 'a => bool
+
+end