Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/res_axioms.ML
changeset 21096 8f3dffd52db2
parent 21071 8d0245c5ed9e
child 21102 7f2ebe5c5b72 
--- a/src/HOL/Tools/res_axioms.ML	Mon Oct 23 11:17:29 2006 +0200
+++ b/src/HOL/Tools/res_axioms.ML	Mon Oct 23 11:18:25 2006 +0200
@@ -688,7 +688,7 @@
 
 fun meson_meth ths ctxt =
   Method.SIMPLE_METHOD' HEADGOAL
-    (CHANGED_PROP o Meson.meson_claset_tac (cnf_rules_of_ths ths) (local_claset_of ctxt));
+    (CHANGED_PROP o Meson.meson_claset_tac (cnf_rules_of_ths ths) HOL_cs);
 
 val meson_method_setup =
   Method.add_methods
isabelle