author | blanchet |
Wed, 19 Dec 2012 22:44:51 +0100 | |
changeset 50606 | 69b22c4398fe |
parent 50604 | 4f840e2e362e (diff) |
parent 50605 | 620515b73a77 (current diff) |
child 50607 | e928f8647302 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Dec 19 22:44:24 2012 +0100 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Wed Dec 19 22:44:51 2012 +0100 @@ -364,7 +364,7 @@ (if i = 1 then "" else " " ^ string_of_int i) end -val default_learn_prover_timeout = 0.5 +val default_learn_prover_timeout = 2.0 fun hammer_away override_params subcommand opt_i fact_override state = let