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 precedence of semicolon
authorpaulson
Fri, 09 May 1997 10:18:07 +0200
changeset 3146 922a60451382
parent 3145 809a2c9902f7
child 3147 49f2614732ea
Fixed precedence of semicolon
src/HOL/Induct/Com.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Induct/Com.thy	Fri May 09 10:17:41 1997 +0200
+++ b/src/HOL/Induct/Com.thy	Fri May 09 10:18:07 1997 +0200
@@ -23,7 +23,7 @@
       | valOf exp exp          ("VALOF _ RESULTIS _"  60)
       | SKIP
       | ":="  loc exp          (infixl  60)
-      | Semi  exp exp          ("_;;_"  [60, 60] 10)
+      | Semi  exp exp          ("_;;_"  [60, 60] 60)
       | Cond  exp exp exp      ("IF _ THEN _ ELSE _"  60)
       | While exp exp          ("WHILE _ DO _"  60)
isabelle