| changeset 43018 | 121aa59b4d17 |
| parent 43016 | 42330f25142c |
| child 43020 | abb5d1f907e4 |
--- 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 @@ -177,6 +177,6 @@ val auto_try_methods = do_try_methods true NONE ([], [], [], []) -val setup = Auto_Tools.register_tool (auto, auto_try_methods) +val setup = Try.register_tool (auto, auto_try_methods) end;