src/ZF/ex/Comb.ML

--- a/src/ZF/ex/Comb.ML	Fri Jul 15 13:30:42 1994 +0200
+++ b/src/ZF/ex/Comb.ML	Fri Jul 15 13:34:31 1994 +0200
@@ -14,6 +14,7 @@
 (*Example of a datatype with mixfix syntax for some constructors*)
 structure Comb = Datatype_Fun
  (val thy = Univ.thy;
+  val thy_name = "Comb";
   val rec_specs = 
       [("comb", "univ(0)",
 	  [(["K","S"],	"i", NoSyn),