--- 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