Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mended indentation
authorpaulson
Fri, 29 Mar 1996 10:54:44 +0100
changeset 1629 b5e43a60443a
parent 1628 60136fdd80c4
child 1630 8c84606672fe
Mended indentation
src/ZF/Bool.thy file | annotate | diff | comparison | revisions 
--- 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