| changeset 43024 | 58150aa44941 |
| parent 43020 | abb5d1f907e4 |
| child 43026 | 0f15575a6465 |
--- a/src/HOL/Tools/try_methods.ML Fri May 27 10:30:08 2011 +0200 +++ b/src/HOL/Tools/try_methods.ML Fri May 27 10:30:08 2011 +0200 @@ -182,6 +182,6 @@ 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;