Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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"),
isabelle