src/HOL/Tools/try_methods.ML

 (* name * ((all_goals, run_if_auto_try), (simp, intro, elim, dest) *)
 val named_methods =
   [("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)),
    ("linarith", ((false, true), no_attrs)),
    ("presburger", ((false, true), no_attrs))]