src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
changeset 43352 597f31069e18
parent 43259 30c141dc22d6
child 43353 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"),