src/FOLP/classical.ML
changeset 17496 26535df536ae
parent 15570 8d8c70b41bab
child 26928 ca87aff1ad2d
     1.1 --- a/src/FOLP/classical.ML	Tue Sep 20 08:20:22 2005 +0200
     1.2 +++ b/src/FOLP/classical.ML	Tue Sep 20 08:21:49 2005 +0200
     1.3 @@ -112,7 +112,7 @@
     1.4  (*Note that allE precedes exI in haz_brls*)
     1.5  fun make_cs {safeIs,safeEs,hazIs,hazEs} =
     1.6    let val (safe0_brls, safep_brls) = (*0 subgoals vs 1 or more*)
     1.7 -          List.partition (apl(0,op=) o subgoals_of_brl) 
     1.8 +          List.partition (curry (op =) 0 o subgoals_of_brl) 
     1.9               (sort (make_ord lessb) (joinrules(safeIs, safeEs)))
    1.10    in CS{safeIs=safeIs, safeEs=safeEs, hazIs=hazIs, hazEs=hazEs,
    1.11          safe0_brls=safe0_brls, safep_brls=safep_brls,