diff -r 5b649fb2f2e1 -r a78612c67ec0 src/HOL/Tools/Quickcheck/quickcheck_common.ML
--- a/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Wed Nov 26 16:55:43 2014 +0100
+++ b/src/HOL/Tools/Quickcheck/quickcheck_common.ML	Wed Nov 26 20:05:34 2014 +0100
@@ -417,7 +417,7 @@
     else case perhaps_constrain thy insts vs
      of SOME constrain => instantiate config descr
           (map constrain vs) tycos prfx (names, auxnames)
-            ((pairself o map o map_atyps) (fn TFree v => TFree (constrain v)) raw_TUs) thy
+            ((apply2 o map o map_atyps) (fn TFree v => TFree (constrain v)) raw_TUs) thy
       | NONE => thy
   end;
 
@@ -491,7 +491,7 @@
       Type (@{type_name fun}, [T1, T2]) =>
         (case try dest_fun_upds t of
           SOME (tps, t) =>
-            (map (pairself post_process_term) tps, map_Abs post_process_term t)
+            (map (apply2 post_process_term) tps, map_Abs post_process_term t)
             |> (case T2 of
               @{typ bool} => 
                 (case t of