changeset 8519 | 981f52707e5d |
parent 8470 | f06fc940c61c |
child 8667 | 4230d17073ea |
--- a/src/Provers/classical.ML Sat Mar 18 19:16:56 2000 +0100 +++ b/src/Provers/classical.ML Sat Mar 18 19:18:48 2000 +0100 @@ -1040,7 +1040,7 @@ [(destN, cla_attr (op addXDs) (op addDs) (op addSDs), "declare destruction rule"), (elimN, cla_attr (op addXEs) (op addEs) (op addSEs), "declare elimination rule"), (introN, cla_attr (op addXIs) (op addIs) (op addSIs), "declare introduction rule"), - (delruleN, del_attr, "delete rule")]; + (delruleN, del_attr, "undeclare rule")];