author | wenzelm |
Thu, 08 Jul 1999 18:30:21 +0200 | |
changeset 6929 | 16ee7b14a2c1 |
parent 6928 | 9b4cd97b459d |
child 6930 | 4b40fb299f9f |
--- a/src/Pure/Syntax/mixfix.ML Thu Jul 08 18:30:00 1999 +0200 +++ b/src/Pure/Syntax/mixfix.ML Thu Jul 08 18:30:21 1999 +0200 @@ -186,6 +186,8 @@ ("", "id => aprop", Delimfix "_"), ("", "longid => aprop", Delimfix "_"), ("", "var => aprop", Delimfix "_"), + ("_BIND", "id => aprop", Delimfix "??_"), + ("_DDDOT", "aprop", Delimfix "..."), ("_aprop", "aprop => prop", Delimfix "PROP _"), ("", "prop => asms", Delimfix "_"), ("_asms", "[prop, asms] => asms", Delimfix "_;/ _"),