src/ZF/Bool.thy
changeset 799 13aa1e3d8a3a
parent 753 ec86863e87c8
child 837 778f01546669
     1.1 --- a/src/ZF/Bool.thy	Fri Dec 16 17:38:14 1994 +0100
     1.2 +++ b/src/ZF/Bool.thy	Fri Dec 16 17:39:43 1994 +0100
     1.3 @@ -12,7 +12,7 @@
     1.4      bool        ::      "i"
     1.5      cond        ::      "[i,i,i]=>i"
     1.6      not		::	"i=>i"
     1.7 -    and         ::      "[i,i]=>i"      (infixl 70)
     1.8 +    "and"       ::      "[i,i]=>i"      (infixl 70)
     1.9      or		::      "[i,i]=>i"      (infixl 65)
    1.10      xor		::      "[i,i]=>i"      (infixl 65)
    1.11