--- a/src/Pure/Isar/outer_parse.ML Mon Feb 15 17:17:51 2010 +0100
+++ b/src/Pure/Isar/outer_parse.ML Mon Feb 15 18:03:42 2010 +0100
@@ -266,9 +266,9 @@
!!! (Scan.optional ($$$ "[" |-- !!! (list nat --| $$$ "]")) [] --
Scan.optional nat Syntax.max_pri) >> (Mixfix o triple2);
-val infx = $$$ "infix" |-- !!! (string -- nat >> InfixName);
-val infxl = $$$ "infixl" |-- !!! (string -- nat >> InfixlName);
-val infxr = $$$ "infixr" |-- !!! (string -- nat >> InfixrName);
+val infx = $$$ "infix" |-- !!! (string -- nat >> Infix);
+val infxl = $$$ "infixl" |-- !!! (string -- nat >> Infixl);
+val infxr = $$$ "infixr" |-- !!! (string -- nat >> Infixr);
val binder = $$$ "binder" |--
!!! (string -- ($$$ "[" |-- nat --| $$$ "]" -- nat || nat >> (fn n => (n, n))))