Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/ZF/Bool.thy
changeset 1629 b5e43a60443a
parent 1478 2b8c2a7547ab
child 2469 b50b8c0eec01 
--- 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
isabelle