src/FOL/IFOL.thy
changeset 6340 7d5cbd5819a0
parent 6027 9dd06eeda95c
child 7355 4c43090659ca
     1.1 --- a/src/FOL/IFOL.thy	Wed Mar 10 10:53:53 1999 +0100
     1.2 +++ b/src/FOL/IFOL.thy	Wed Mar 10 10:55:12 1999 +0100
     1.3 @@ -67,6 +67,10 @@
     1.4    "op -->"      :: [o, o] => o                  (infixr "\\<longrightarrow>" 25)
     1.5    "op <->"      :: [o, o] => o                  (infixr "\\<longleftrightarrow>" 25)
     1.6  
     1.7 +syntax (HTML output)
     1.8 +  Not           :: o => o                       ("\\<not> _" [40] 40)
     1.9 +
    1.10 +
    1.11  local
    1.12  
    1.13  rules