src/Pure/Isar/args.ML

--- a/src/Pure/Isar/args.ML	Thu Sep 21 19:04:12 2006 +0200
+++ b/src/Pure/Isar/args.ML	Thu Sep 21 19:04:20 2006 +0200
@@ -349,10 +349,10 @@
 
 local
 
-val exclude = explode "()[],";
+val exclude = member (op =) (explode "()[],");
 
 fun atomic blk = touch (Scan.one (fn Arg ((k, x, _), _) =>
-    k <> Keyword orelse not (x mem exclude) orelse blk andalso x = ","));
+    k <> Keyword orelse not (exclude x) orelse blk andalso x = ","));
 
 fun args blk x = Scan.optional (args1 blk) [] x
 and args1 blk x =