author | blanchet |
Thu, 12 May 2011 15:29:19 +0200 | |
changeset 42737 | 7e4ac591d983 |
parent 42736 | 8005fc9b65ec |
child 42738 | 2a9dcff63b80 |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu May 12 15:29:19 2011 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer_provers.ML Thu May 12 15:29:19 2011 +0200 @@ -169,7 +169,7 @@ higher_order_irrel_weight = 1.05, abs_rel_weight = 0.5, abs_irrel_weight = 2.0, - skolem_irrel_weight = 0.75, + skolem_irrel_weight = 0.5, theory_const_rel_weight = 0.5, theory_const_irrel_weight = 0.25, chained_const_irrel_weight = 0.25,