--- a/src/ZF/IMP/Com.thy Mon Dec 19 15:22:42 1994 +0100
+++ b/src/ZF/IMP/Com.thy Mon Dec 19 15:30:30 1994 +0100
@@ -8,7 +8,7 @@
And their Operational semantics
*)
-Com = Univ + "Datatype" +
+Com = Datatype +
(** Arithmetic expressions **)
consts loc :: "i"