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 message;
authorwenzelm
Sat, 28 Feb 2009 14:42:54 +0100
changeset 30164 9321f7b70450
parent 30163 faf95eb3f375
child 30165 6ee87f67d9cd
tuned message;
src/Tools/coherent.ML file | annotate | diff | comparison | revisions 
--- a/src/Tools/coherent.ML	Sat Feb 28 14:17:44 2009 +0100
+++ b/src/Tools/coherent.ML	Sat Feb 28 14:42:54 2009 +0100
@@ -228,6 +228,6 @@
   Method.METHOD (fn facts => coherent_tac (facts @ rules) ctxt 1);
 
 val setup = Method.add_method
-  ("coherent", Method.thms_ctxt_args coherent_meth, "Prove coherent formula");
+  ("coherent", Method.thms_ctxt_args coherent_meth, "prove coherent formula");
 
 end;
isabelle