changeset 17496 | 26535df536ae |
parent 15570 | 8d8c70b41bab |
child 24584 | 01e83ffa6c54 |
--- a/src/FOLP/intprover.ML Tue Sep 20 08:20:22 2005 +0200 +++ b/src/FOLP/intprover.ML Tue Sep 20 08:21:49 2005 +0200 @@ -50,7 +50,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*) val safe_step_tac = FIRST' [uniq_assume_tac,