src/FOLP/IFOLP.thy
changeset 2714 b0fbdfbbad66
parent 1477 4c51ab632cda
child 3836 f1a1817659e6
     1.1 --- a/src/FOLP/IFOLP.thy	Mon Mar 03 18:26:33 1997 +0100
     1.2 +++ b/src/FOLP/IFOLP.thy	Tue Mar 04 10:19:38 1997 +0100
     1.3 @@ -28,7 +28,7 @@
     1.4        (*** Logical Connectives -- Type Formers ***)
     1.5   "="            ::      "['a,'a] => o"  (infixl 50)
     1.6   True,False     ::      "o"
     1.7 - "Not"          ::      "o => o"        ("~ _" [40] 40)
     1.8 + Not            ::      "o => o"        ("~ _" [40] 40)
     1.9   "&"            ::      "[o,o] => o"    (infixr 35)
    1.10   "|"            ::      "[o,o] => o"    (infixr 30)
    1.11   "-->"          ::      "[o,o] => o"    (infixr 25)