src/HOL/TLA/Memory/MIParameters.thy

--- a/src/HOL/TLA/Memory/MIParameters.thy	Fri Oct 05 23:58:17 2001 +0200
+++ b/src/HOL/TLA/Memory/MIParameters.thy	Fri Oct 05 23:58:52 2001 +0200
@@ -9,9 +9,8 @@
     RPC-Memory example: Parameters of the memory implementation.
 *)
 
-MIParameters = Datatype +
+MIParameters = Main +
 
 datatype  histState  =  histA | histB
 
 end
-