| changeset 6558 | 120ff48e8618 |
| parent 6553 | dc962d157a63 |
| child 6726 | ac968ce542a8 |
--- a/src/Pure/Isar/outer_parse.ML Fri Apr 30 18:10:35 1999 +0200 +++ b/src/Pure/Isar/outer_parse.ML Fri Apr 30 18:13:55 1999 +0200 @@ -278,7 +278,7 @@ and meth1 x = (enum1 "," meth2 >> (fn [m] => m | ms => Method.Then ms)) x and meth0 x = (enum1 "|" meth1 >> (fn [m] => m | ms => Method.Orelse ms)) x; -val method = meth4; +val method = meth3; end;