
diff -r 60136fdd80c4 -r b5e43a60443a src/ZF/Bool.thy
--- a/src/ZF/Bool.thy	Thu Mar 28 17:27:54 1996 +0100
+++ b/src/ZF/Bool.thy	Fri Mar 29 10:54:44 1996 +0100
@@ -10,7 +10,7 @@
 
 Bool = ZF + "simpdata" +
 consts
-    "1"         :: i               ("1")
+    "1"         :: i             ("1")
     "2"         :: i             ("2")
     bool        :: i
     cond        :: [i,i,i]=>i




