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.
merged
authornipkow
Mon, 05 Dec 2011 07:31:11 +0100
changeset 45752 b5db02fa9536
parent 45750 17100f4ce0b5 (current diff)
parent 45751 f8723843c29e (diff)
child 45753 196697f71488
child 45767 fe2fd2f76f48
merged
--- a/src/HOL/IMP/ACom.thy	Sun Dec 04 20:05:08 2011 +0100
+++ b/src/HOL/IMP/ACom.thy	Mon Dec 05 07:31:11 2011 +0100
@@ -10,7 +10,7 @@
 section "Annotated Commands"
 
 datatype 'a acom =
-  SKIP   'a                           ("SKIP {_}") |
+  SKIP   'a                           ("SKIP {_}" 61) |
   Assign vname aexp 'a                ("(_ ::= _/ {_})" [1000, 61, 0] 61) |
   Semi   "('a acom)" "('a acom)"          ("_;//_"  [60, 61] 60) |
   If     bexp "('a acom)" "('a acom)" 'a
isabelle