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/Pure/Syntax/mixfix.ML
changeset 15421 fcf747c0b6b8
parent 14981 e73f8140af78
child 15531 08c8dad8e399 
--- a/src/Pure/Syntax/mixfix.ML	Fri Dec 17 12:43:12 2004 +0100
+++ b/src/Pure/Syntax/mixfix.ML	Sat Dec 18 17:10:49 2004 +0100
@@ -227,7 +227,7 @@
   ("",            "var => aprop",              Delimfix "_"),
   ("_DDDOT",      "aprop",                     Delimfix "..."),
   ("_aprop",      "aprop => prop",             Delimfix "PROP _"),
-  ("",            "prop => asms",              Delimfix "_"),
+  ("_asm",        "prop => asms",              Delimfix "_"),
   ("_asms",       "[prop, asms] => asms",      Delimfix "_;/ _"),
   ("_bigimpl",    "[asms, prop] => prop",      Mixfix ("((3[| _ |])/ ==> _)", [0, 1], 1)),
   ("_ofclass",    "[type, logic] => prop",     Delimfix "(1OFCLASS/(1'(_,/ _')))"),
isabelle