changeset 47125 | 0a4907baf9db |
parent 46578 | 6bf7eec9b153 |
child 47129 | e2e52c7d25c9 |
1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Thu Jan 19 21:37:12 2012 +0100 1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Thu Jan 19 21:37:12 2012 +0100 1.3 @@ -97,7 +97,7 @@ 1.4 ("isar_shrink_factor", "1"), 1.5 ("slice", "true"), 1.6 ("minimize", "smart"), 1.7 - ("preplay_timeout", "4")] 1.8 + ("preplay_timeout", "3")] 1.9 1.10 val alias_params = 1.11 [("prover", "provers")]