src/HOL/HOL.thy
changeset 2720 3490ef519a56
parent 2552 470bc495373e
child 2762 2ade3a141934
     1.1 --- a/src/HOL/HOL.thy	Tue Mar 04 10:58:29 1997 +0100
     1.2 +++ b/src/HOL/HOL.thy	Wed Mar 05 09:59:24 1997 +0100
     1.3 @@ -30,7 +30,7 @@
     1.4    (* Constants *)
     1.5  
     1.6    Trueprop      :: bool => prop                     ("(_)" 5)
     1.7 -  not           :: bool => bool                     ("~ _" [40] 40)
     1.8 +  Not           :: bool => bool                     ("~ _" [40] 40)
     1.9    True, False   :: bool
    1.10    If            :: [bool, 'a, 'a] => 'a   ("(if (_)/ then (_)/ else (_))" 10)
    1.11    Inv           :: ('a => 'b) => ('b => 'a)