diff -r ddb14cbec6a2 -r 26535df536ae src/FOLP/classical.ML
--- a/src/FOLP/classical.ML	Tue Sep 20 08:20:22 2005 +0200
+++ b/src/FOLP/classical.ML	Tue Sep 20 08:21:49 2005 +0200
@@ -112,7 +112,7 @@
 (*Note that allE precedes exI in haz_brls*)
 fun make_cs {safeIs,safeEs,hazIs,hazEs} =
   let val (safe0_brls, safep_brls) = (*0 subgoals vs 1 or more*)
-          List.partition (apl(0,op=) o subgoals_of_brl) 
+          List.partition (curry (op =) 0 o subgoals_of_brl) 
              (sort (make_ord lessb) (joinrules(safeIs, safeEs)))
   in CS{safeIs=safeIs, safeEs=safeEs, hazIs=hazIs, hazEs=hazEs,
         safe0_brls=safe0_brls, safep_brls=safep_brls,