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