Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned comment;
authorwenzelm
Sun, 29 Jan 2006 19:23:40 +0100
changeset 18833 bead1a4e966b
parent 18832 6ab4de872a70
child 18834 7e94af77cfce
tuned comment;
src/HOL/Tools/res_axioms.ML file | annotate | diff | comparison | revisions
src/Provers/eqsubst.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/res_axioms.ML	Sun Jan 29 19:23:38 2006 +0100
+++ b/src/HOL/Tools/res_axioms.ML	Sun Jan 29 19:23:40 2006 +0100
@@ -473,7 +473,7 @@
 val meson_method_setup =
   Method.add_methods
     [("meson", Method.thms_ctxt_args meson_meth, 
-      "The MESON resolution proof procedure")];
+      "MESON resolution proof procedure")];
 
 
 
--- a/src/Provers/eqsubst.ML	Sun Jan 29 19:23:38 2006 +0100
+++ b/src/Provers/eqsubst.ML	Sun Jan 29 19:23:40 2006 +0100
@@ -337,6 +337,6 @@
 
 
 val setup =
-  Method.add_method ("subst", subst_meth, "substiution with an equation");
+  Method.add_method ("subst", subst_meth, "single-step substitution");
 
 end;
isabelle