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/HOL/IMP/AExp.thy
changeset 51040 faf7f0d4f9eb
parent 49191 3601bf546775
child 52460 92ae850a9bfd 
--- a/src/HOL/IMP/AExp.thy	Wed Feb 13 09:04:47 2013 +0100
+++ b/src/HOL/IMP/AExp.thy	Wed Feb 13 11:28:44 2013 +0100
@@ -32,7 +32,7 @@
 syntax 
   "_State" :: "updbinds => 'a" ("<_>")
 translations
-  "_State ms" => "_Update <> ms"
+  "_State ms" == "_Update <> ms"
 
 text {* \noindent
   We can now write a series of updates to the function @{text "\<lambda>x. 0"} compactly:
isabelle