diff -r 5610c4acb48d -r 24914e42b857 src/Pure/Isar/method.ML
--- a/src/Pure/Isar/method.ML	Wed Sep 13 22:29:37 2000 +0200
+++ b/src/Pure/Isar/method.ML	Wed Sep 13 22:31:19 2000 +0200
@@ -199,7 +199,7 @@
 val intro_local = mk_att LocalRules.map add_intro;
 val rule_del_local = mk_att LocalRules.map del_rule;
 
-fun del_args att = Attrib.syntax (Scan.lift (Args.$$$ "del") >> K att);
+fun del_args att = Attrib.syntax (Scan.lift (Args.$$$ Args.delN) >> K att);
 
 end;