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/Sledgehammer/sledgehammer_isar.ML
changeset 55310 ae419c611a3b
parent 55299 c3bb1cffce26
child 55311 2bb02ba5d4b7 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Feb 03 23:44:39 2014 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Feb 03 23:49:01 2014 +0100
@@ -122,7 +122,7 @@
    Metis_Method (SOME no_typesN, NONE)]
 val rewrite_methods =
   [Auto_Method, Simp_Method, Fastforce_Method, Force_Method, Metis_Method (NONE, NONE),
-   Meson_Method]
+   Meson_Method, Blast_Method, Arith_Method, Algebra_Method]
 val skolem_methods =
   [Metis_Method (NONE, NONE), Blast_Method, Meson_Method]
isabelle