diff -r 6f549f5e7066 -r e9afca2118d4 src/Pure/thm.ML
--- a/src/Pure/thm.ML	Tue Nov 24 17:28:44 2009 +0100
+++ b/src/Pure/thm.ML	Wed Nov 25 09:13:46 2009 +0100
@@ -1457,7 +1457,7 @@
     val short = length iparams - length cs;
     val newnames =
       if short < 0 then error "More names than abstractions!"
-      else Name.variant_list cs ((uncurry take) (short, iparams)) @ cs;
+      else Name.variant_list cs (take short iparams) @ cs;
     val freenames = Term.fold_aterms (fn Free (x, _) => insert (op =) x | _ => I) Bi [];
     val newBi = Logic.list_rename_params (newnames, Bi);
   in