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/try_methods.ML
changeset 44890 22f665a2e91c
parent 44651 5d6a11e166cf
child 45666 d83797ef0d2d 
--- a/src/HOL/Tools/try_methods.ML	Sun Sep 11 22:56:05 2011 +0200
+++ b/src/HOL/Tools/try_methods.ML	Mon Sep 12 07:55:43 2011 +0200
@@ -101,7 +101,7 @@
   [("simp", ((false, true), simp_attrs)),
    ("auto", ((true, true), full_attrs)),
    ("fast", ((false, false), clas_attrs)),
-   ("fastsimp", ((false, false), full_attrs)),
+   ("fastforce", ((false, false), full_attrs)),
    ("force", ((false, false), full_attrs)),
    ("blast", ((false, true), clas_attrs)),
    ("metis", ((false, true), metis_attrs)),
isabelle