src/HOL/Tools/res_axioms.ML

     (CHANGED_PROP o Meson.meson_claset_tac (cnf_rules_of_ths ths) (local_claset_of ctxt));
 
 val meson_method_setup =
   Method.add_methods
     [("meson", Method.thms_ctxt_args meson_meth, 
-      "The MESON resolution proof procedure")];
+      "MESON resolution proof procedure")];
 
 
 
 (*** The Skolemization attribute ***)