src/ZF/ex/Enum.ML

--- a/src/ZF/ex/Enum.ML	Fri Jul 15 13:30:42 1994 +0200
+++ b/src/ZF/ex/Enum.ML	Fri Jul 15 13:34:31 1994 +0200
@@ -17,6 +17,7 @@
 
 structure Enum = Datatype_Fun
  (val thy = Univ.thy;
+  val thy_name = "Enum";
   val rec_specs = 
       [("enum", "univ(0)",
 	  [(consts, "i", NoSyn)])];