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.
tuned syntax;
authorwenzelm
Wed, 09 May 2007 19:37:20 +0200
changeset 22895 adc529c89281
parent 22894 619b270607ac
child 22896 1c2abcabea61
tuned syntax;
src/Sequents/ILL_predlog.thy file | annotate | diff | comparison | revisions 
--- a/src/Sequents/ILL_predlog.thy	Wed May 09 19:37:19 2007 +0200
+++ b/src/Sequents/ILL_predlog.thy	Wed May 09 19:37:20 2007 +0200
@@ -11,11 +11,13 @@
   disj :: "[plf,plf] => plf"   (infixr "|" 35)
   impl :: "[plf,plf] => plf"   (infixr ">" 35)
   eq :: "[plf,plf] => plf"   (infixr "=" 35)
-  "@NG" :: "plf => plf"   ("- _ " [50] 55)
   ff    :: "plf"
 
   PL    :: "plf => o"      ("[* / _ / *]" [] 100)
 
+syntax
+  "_NG" :: "plf => plf"   ("- _ " [50] 55)
+
 translations
 
   "[* A & B *]" == "[*A*] && [*B*]"
isabelle