src/HOL/IMP/Com.thy

--- a/src/HOL/IMP/Com.thy	Wed Nov 24 10:25:28 1999 +0100
+++ b/src/HOL/IMP/Com.thy	Wed Nov 24 12:12:36 1999 +0100
@@ -7,7 +7,7 @@
 Syntax of commands
 *)
 
-Com = Datatype +
+Com = Main +
 
 types 
       val