changeset 9893 | 93d2fde0306c |
parent 9860 | 5c5efed691b9 |
child 9952 | 24914e42b857 |
--- a/src/Provers/clasimp.ML Thu Sep 07 20:50:33 2000 +0200 +++ b/src/Provers/clasimp.ML Thu Sep 07 20:51:07 2000 +0200 @@ -308,7 +308,7 @@ val setup = [Attrib.add_attributes - [("iff", iff_attr, "declare simplifier / classical rules")], + [("iff", iff_attr, "declaration of Simplifier / Classical rules")], Method.add_methods [("fastsimp", clasimp_method' fast_simp_tac, "combined fast and simp"), ("slowsimp", clasimp_method' slow_simp_tac, "combined slow and simp"),