1.1 --- a/src/HOL/Tools/try_methods.ML	Sun Sep 11 22:56:05 2011 +0200
     1.2 +++ b/src/HOL/Tools/try_methods.ML	Mon Sep 12 07:55:43 2011 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4    [("simp", ((false, true), simp_attrs)),
     1.5     ("auto", ((true, true), full_attrs)),
     1.6     ("fast", ((false, false), clas_attrs)),
     1.7 -   ("fastsimp", ((false, false), full_attrs)),
     1.8 +   ("fastforce", ((false, false), full_attrs)),
     1.9     ("force", ((false, false), full_attrs)),
    1.10     ("blast", ((false, true), clas_attrs)),
    1.11     ("metis", ((false, true), metis_attrs)),