changeset 19187 | 0c1ba28eaa17 |
parent 19007 | 0f7b92f75df7 |
child 19223 | ccdaf84bab59 |
--- a/src/Pure/Isar/outer_parse.ML Sat Mar 04 21:10:10 2006 +0100 +++ b/src/Pure/Isar/outer_parse.ML Sat Mar 04 21:10:11 2006 +0100 @@ -418,6 +418,7 @@ and meth3 x = (meth4 --| $$$ "?" >> Method.Try || meth4 --| $$$ "+" >> Method.Repeat1 || + meth4 -- ($$$ "[" |-- nat --| $$$ "]") >> (Method.SelectGoals o swap) || meth4) x and meth2 x = (position (xname -- args1 is_symid_meth false) >> (Method.Source o Args.src) ||