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 799 13aa1e3d8a3a
parent 753 ec86863e87c8
child 837 778f01546669 
--- a/src/ZF/Bool.thy	Fri Dec 16 17:38:14 1994 +0100
+++ b/src/ZF/Bool.thy	Fri Dec 16 17:39:43 1994 +0100
@@ -12,7 +12,7 @@
     bool        ::      "i"
     cond        ::      "[i,i,i]=>i"
     not		::	"i=>i"
-    and         ::      "[i,i]=>i"      (infixl 70)
+    "and"       ::      "[i,i]=>i"      (infixl 70)
     or		::      "[i,i]=>i"      (infixl 65)
     xor		::      "[i,i]=>i"      (infixl 65)
isabelle