src/Provers/clasimp.ML
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"),