| changeset 10034 | 4bca6b2d2589 |
| parent 10008 | 61eb9f3aa92a |
| child 10309 | a7f961fb62c6 |
--- a/src/Pure/Isar/method.ML Tue Sep 19 23:52:37 2000 +0200 +++ b/src/Pure/Isar/method.ML Tue Sep 19 23:53:00 2000 +0200 @@ -202,7 +202,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.$$$ Args.delN) >> K att); +fun del_args att = Attrib.syntax (Scan.lift Args.del >> K att); end;