src/FOLP/intprover.ML
changeset 17496 26535df536ae
parent 15570 8d8c70b41bab
child 24584 01e83ffa6c54
     1.1 --- a/src/FOLP/intprover.ML	Tue Sep 20 08:20:22 2005 +0200
     1.2 +++ b/src/FOLP/intprover.ML	Tue Sep 20 08:21:49 2005 +0200
     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 -    List.partition (apl(0,op=) o subgoals_of_brl) safe_brls;
     1.8 +    List.partition (curry (op =) 0 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,