| changeset 8237 | 89002bc362c5 |
| parent 8146 | 3243f2261d4b |
| child 8350 | 75aaee32893d |
--- a/src/Pure/Isar/outer_parse.ML Sun Feb 13 20:58:13 2000 +0100 +++ b/src/Pure/Isar/outer_parse.ML Sun Feb 13 21:00:02 2000 +0100 @@ -267,7 +267,7 @@ (* theorem specifications *) -val attrib = position ((xname || keyword_sid) -- !!! (args OuterLex.is_sid false)) >> Args.src; +val attrib = position ((keyword_sid || xname) -- !!! (args OuterLex.is_sid false)) >> Args.src; val attribs = $$$ "[" |-- !!! (list attrib --| $$$ "]"); val opt_attribs = Scan.optional attribs [];