tuned message;
authorwenzelm
Sat Feb 28 14:42:54 2009 +0100 (2009-02-28)
changeset 301649321f7b70450
parent 30163 faf95eb3f375
child 30165 6ee87f67d9cd
tuned message;
src/Tools/coherent.ML
     1.1 --- a/src/Tools/coherent.ML	Sat Feb 28 14:17:44 2009 +0100
     1.2 +++ b/src/Tools/coherent.ML	Sat Feb 28 14:42:54 2009 +0100
     1.3 @@ -228,6 +228,6 @@
     1.4    Method.METHOD (fn facts => coherent_tac (facts @ rules) ctxt 1);
     1.5  
     1.6  val setup = Method.add_method
     1.7 -  ("coherent", Method.thms_ctxt_args coherent_meth, "Prove coherent formula");
     1.8 +  ("coherent", Method.thms_ctxt_args coherent_meth, "prove coherent formula");
     1.9  
    1.10  end;