diff -r d7e7532c128a -r 120ff48e8618 src/Pure/Isar/outer_parse.ML
--- 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;