src/Pure/Isar/outer_parse.ML
changeset 19223 ccdaf84bab59
parent 19187 0c1ba28eaa17
child 19284 4c86109423d5
     1.1 --- a/src/Pure/Isar/outer_parse.ML	Wed Mar 08 18:37:28 2006 +0100
     1.2 +++ b/src/Pure/Isar/outer_parse.ML	Wed Mar 08 18:37:30 2006 +0100
     1.3 @@ -418,7 +418,7 @@
     1.4  and meth3 x =
     1.5   (meth4 --| $$$ "?" >> Method.Try ||
     1.6    meth4 --| $$$ "+" >> Method.Repeat1 ||
     1.7 -  meth4 -- ($$$ "[" |-- nat --| $$$ "]") >> (Method.SelectGoals o swap) ||
     1.8 +  meth4 -- ($$$ "[" |-- Scan.optional nat 1 --| $$$ "]") >> (Method.SelectGoals o swap) ||
     1.9    meth4) x
    1.10  and meth2 x =
    1.11   (position (xname -- args1 is_symid_meth false) >> (Method.Source o Args.src) ||