changeset 44218 | 597f31069e18 |
parent 44100 | 30c141dc22d6 |
child 44219 | 6c008d3efb0a |
1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jun 10 12:01:15 2011 +0200 1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML Fri Jun 10 12:01:15 2011 +0200 1.3 @@ -95,7 +95,7 @@ 1.4 ("relevance_thresholds", "0.45 0.85"), 1.5 ("max_relevant", "smart"), 1.6 ("max_mono_iters", "3"), 1.7 - ("max_new_mono_instances", "400"), 1.8 + ("max_new_mono_instances", "200"), 1.9 ("isar_proof", "false"), 1.10 ("isar_shrink_factor", "1"), 1.11 ("slicing", "true"),