1.1 --- a/src/HOL/Tools/ATP/atp_systems.ML	Thu Feb 21 12:22:26 2013 +0100
     1.2 +++ b/src/HOL/Tools/ATP/atp_systems.ML	Thu Feb 21 12:22:26 2013 +0100
     1.3 @@ -339,9 +339,9 @@
     1.4           [(0.15, (((128, meshN), FOF, "mono_tags??", combsN, false), e_fun_weightN)),
     1.5            (0.15, (((128, mashN), FOF, "mono_guards??", combsN, false), e_sym_offset_weightN)),
     1.6            (0.15, (((91, mepoN), FOF, "mono_tags??", combsN, false), e_autoN)),
     1.7 -          (0.15, (((64, mashN), FOF, "mono_guards??", combsN, false), e_fun_weightN)),
     1.8            (0.15, (((1000, meshN), FOF, "poly_guards??", combsN, false), e_sym_offset_weightN)),
     1.9 -          (0.25, (((256, mepoN), FOF, "mono_tags??", liftingN, false), e_fun_weightN))]
    1.10 +          (0.15, (((256, mepoN), FOF, "mono_tags??", liftingN, false), e_fun_weightN)),
    1.11 +          (0.25, (((64, mashN), FOF, "mono_guards??", combsN, false), e_fun_weightN))]
    1.12         else
    1.13           [(1.0, (((500, ""), FOF, "mono_tags??", combsN, false), heuristic))]
    1.14       end,