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.
??id syntax for text variables;
authorwenzelm
Mon, 10 Aug 1998 17:01:40 +0200
changeset 5287 0c055426fd6b
parent 5286 cfb74a99182c
child 5288 0152d1a09639
??id syntax for text variables;
src/Pure/Syntax/mixfix.ML file | annotate | diff | comparison | revisions 
--- 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