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