1.1 --- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Aug 23 18:25:49 2010 +0200
     1.2 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Mon Aug 23 18:39:12 2010 +0200
     1.3 @@ -67,7 +67,7 @@
     1.4     ("verbose", "false"),
     1.5     ("overlord", "false"),
     1.6     ("explicit_apply", "false"),
     1.7 -   ("relevance_threshold", "50"),
     1.8 +   ("relevance_threshold", "40"),
     1.9     ("relevance_convergence", "320"),
    1.10     ("max_relevant_per_iter", "smart"),
    1.11     ("theory_relevant", "smart"),