src/HOL/Tools/try_methods.ML

       "try a combination of proof methods" Keyword.diag
       parse_try_methods_command
 
 fun try_try_methods auto = do_try_methods auto NONE ([], [], [], [])
 
-val setup = Try.register_tool (try_methodsN, (auto, try_try_methods))
+val setup = Try.register_tool (try_methodsN, (20, auto, try_try_methods))
 
 end;