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/Sequents/Modal0.thy
changeset 14765 bafb24c150c1
parent 7098 86583034aacf
child 17481 75166ebb619b 
--- a/src/Sequents/Modal0.thy	Wed May 19 11:41:58 2004 +0200
+++ b/src/Sequents/Modal0.thy	Fri May 21 21:14:18 2004 +0200
@@ -10,9 +10,11 @@
   box           :: "o=>o"       ("[]_" [50] 50)
   dia           :: "o=>o"       ("<>_" [50] 50)
   "--<",">-<"   :: "[o,o]=>o"   (infixr 25)
+  Lstar,Rstar   :: "two_seqi"
+
+syntax
   "@Lstar"      :: "two_seqe"   ("(_)|L>(_)" [6,6] 5)
   "@Rstar"      :: "two_seqe"   ("(_)|R>(_)" [6,6] 5)
-  Lstar,Rstar   :: "two_seqi"
 
 rules
   (* Definitions *)
isabelle