changeset 17496 | 26535df536ae |
parent 15570 | 8d8c70b41bab |
child 21539 | c5cf9243ad62 |
--- a/src/FOL/intprover.ML Tue Sep 20 08:20:22 2005 +0200 +++ b/src/FOL/intprover.ML Tue Sep 20 08:21:49 2005 +0200 @@ -60,7 +60,7 @@ (*0 subgoals vs 1 or more: the p in safep is for positive*) val (safe0_brls, safep_brls) = - List.partition (apl(0,op=) o subgoals_of_brl) safe_brls; + List.partition (curry (op =) 0 o subgoals_of_brl) safe_brls; (*Attack subgoals using safe inferences -- matching, not resolution*) val safe_step_tac = FIRST' [eq_assume_tac,