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 5287 0c055426fd6b
parent 5056 e88cc76cb052
child 5690 4b056ee5435c 
--- a/src/Pure/Syntax/mixfix.ML	Mon Aug 10 17:01:02 1998 +0200
+++ b/src/Pure/Syntax/mixfix.ML	Mon Aug 10 17:01:40 1998 +0200
@@ -200,7 +200,8 @@
   ("_K",           "_",                             NoSyn),
   ("",             "id => logic",                   Delimfix "_"),
   ("",             "longid => logic",               Delimfix "_"),
-  ("",             "var => logic",                  Delimfix "_")];
+  ("",             "var => logic",                  Delimfix "_"),
+  ("_BIND",        "id => logic",                   Delimfix "??_")];
 
 val pure_appl_syntax =
  [("_appl", "[('b => 'a), args] => logic", Mixfix ("(1_/(1'(_')))", [max_pri, 0], max_pri)),
isabelle