src/Tools/coherent.ML
changeset 30164 9321f7b70450
parent 30160 5f7b17941730
child 30510 4120fc59dd85
--- 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;