src/ZF/ex/Data.ML

--- a/src/ZF/ex/Data.ML	Mon Aug 01 17:24:46 1994 +0200
+++ b/src/ZF/ex/Data.ML	Mon Aug 01 17:34:57 1994 +0200
@@ -9,7 +9,7 @@
 
 structure Data = Datatype_Fun
  (val thy        = Univ.thy
-  val thy_name = "Data"
+  val thy_name 	 = "Data"
   val rec_specs  = [("data", "univ(A Un B)",
                        [(["Con0"],   "i",	    NoSyn),
                         (["Con1"],   "i=>i",	    NoSyn),