Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/FOLP/IFOLP.thy
changeset 2714 b0fbdfbbad66
parent 1477 4c51ab632cda
child 3836 f1a1817659e6 
--- a/src/FOLP/IFOLP.thy	Mon Mar 03 18:26:33 1997 +0100
+++ b/src/FOLP/IFOLP.thy	Tue Mar 04 10:19:38 1997 +0100
@@ -28,7 +28,7 @@
       (*** Logical Connectives -- Type Formers ***)
  "="            ::      "['a,'a] => o"  (infixl 50)
  True,False     ::      "o"
- "Not"          ::      "o => o"        ("~ _" [40] 40)
+ Not            ::      "o => o"        ("~ _" [40] 40)
  "&"            ::      "[o,o] => o"    (infixr 35)
  "|"            ::      "[o,o] => o"    (infixr 30)
  "-->"          ::      "[o,o] => o"    (infixr 25)
isabelle