src/Pure/Proof/proof_rewrite_rules.ML

--- a/src/Pure/Proof/proof_rewrite_rules.ML	Wed Apr 26 20:34:11 2006 +0200
+++ b/src/Pure/Proof/proof_rewrite_rules.ML	Wed Apr 26 22:38:05 2006 +0200
@@ -200,7 +200,7 @@
         fun strip [] t = t
           | strip (_ :: xs) (Abs (_, _, t)) = strip xs t;
       in
-        strip Ts (Library.foldl (uncurry lambda o Library.swap) (t', frees))
+        strip Ts (fold lambda frees t')
       end;
 
     fun rew Ts (prf1 %% prf2) = rew Ts prf1 %% rew Ts prf2