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