--- a/src/HOL/TLA/Inc/Pcount.thy Fri Oct 05 23:58:17 2001 +0200
+++ b/src/HOL/TLA/Inc/Pcount.thy Fri Oct 05 23:58:52 2001 +0200
@@ -11,10 +11,8 @@
and case distinction tactics.
*)
-Pcount = Datatype +
+Pcount = Main +
datatype pcount = a | b | g
end
-
-ML