changeset 15570 | 8d8c70b41bab |
parent 9263 | 53e09e592278 |
child 17496 | 26535df536ae |
--- a/src/FOLP/intprover.ML Thu Mar 03 09:22:35 2005 +0100 +++ b/src/FOLP/intprover.ML Thu Mar 03 12:43:01 2005 +0100 @@ -50,7 +50,7 @@ (*0 subgoals vs 1 or more: the p in safep is for positive*) val (safe0_brls, safep_brls) = - partition (apl(0,op=) o subgoals_of_brl) safe_brls; + List.partition (apl(0,op=) o subgoals_of_brl) safe_brls; (*Attack subgoals using safe inferences*) val safe_step_tac = FIRST' [uniq_assume_tac,