--- a/src/HOL/UNITY/Comp/Counterc.thy Wed Jan 29 16:29:38 2003 +0100
+++ b/src/HOL/UNITY/Comp/Counterc.thy Wed Jan 29 16:34:51 2003 +0100
@@ -11,7 +11,8 @@
Spriner LNCS 1586 (1999), pages 1215-1227.
*)
-Counterc = Comp +
+Counterc = UNITY_Main +
+
types state
arities state :: type