Removed needless quotes
authorpaulson
Tue Mar 04 10:19:38 1997 +0100 (1997-03-04)
changeset 2714b0fbdfbbad66
parent 2713 7231c1e89706
child 2715 79c35a051196
Removed needless quotes
src/FOLP/IFOLP.thy
     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)