changeset 43865 | 58150aa44941 |
parent 43862 | 5910dd009d0e |
child 43875 | 18259246abb5 |
1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri May 27 10:30:08 2011 +0200 1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri May 27 10:30:08 2011 +0200 1.3 @@ -414,6 +414,6 @@ 1.4 (minimize_command [] i) state 1.5 end 1.6 1.7 -val setup = Try.register_tool (sledgehammerN, (auto, try_sledgehammer)) 1.8 +val setup = Try.register_tool (sledgehammerN, (40, auto, try_sledgehammer)) 1.9 1.10 end;