--- a/src/Pure/Isar/outer_parse.ML Wed Mar 08 18:37:28 2006 +0100
+++ b/src/Pure/Isar/outer_parse.ML Wed Mar 08 18:37:30 2006 +0100
@@ -418,7 +418,7 @@
and meth3 x =
(meth4 --| $$$ "?" >> Method.Try ||
meth4 --| $$$ "+" >> Method.Repeat1 ||
- meth4 -- ($$$ "[" |-- nat --| $$$ "]") >> (Method.SelectGoals o swap) ||
+ meth4 -- ($$$ "[" |-- Scan.optional nat 1 --| $$$ "]") >> (Method.SelectGoals o swap) ||
meth4) x
and meth2 x =
(position (xname -- args1 is_symid_meth false) >> (Method.Source o Args.src) ||