Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fixed Not syntax;
authorwenzelm
Fri, 07 Mar 1997 15:03:57 +0100
changeset 2762 2ade3a141934
parent 2761 fee689b7d813
child 2763 b3a03fc4deee
fixed Not syntax;
src/HOL/HOL.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/HOL.thy	Fri Mar 07 14:52:19 1997 +0100
+++ b/src/HOL/HOL.thy	Fri Mar 07 15:03:57 1997 +0100
@@ -113,7 +113,7 @@
 
 
 syntax (symbols)
-  not           :: bool => bool                     ("\\<not> _" [40] 40)
+  Not           :: bool => bool                     ("\\<not> _" [40] 40)
   "op &"        :: [bool, bool] => bool             (infixr "\\<and>" 35)
   "op |"        :: [bool, bool] => bool             (infixr "\\<or>" 30)
   "op -->"      :: [bool, bool] => bool             (infixr "\\<midarrow>\\<rightarrow>" 25)
isabelle