changeset 43034 | 18259246abb5 |
parent 43024 | 58150aa44941 |
child 43051 | d7075adac3bd |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri May 27 10:30:08 2011 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri May 27 10:30:08 2011 +0200 @@ -100,7 +100,7 @@ ("isar_proof", "false"), ("isar_shrink_factor", "1"), ("slicing", "true"), - ("preplay_timeout", "5")] + ("preplay_timeout", "4")] val alias_params = [("prover", "provers"),