--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Apr 10 13:10:38 2013 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML Wed Apr 10 15:30:19 2013 +0200
@@ -93,7 +93,7 @@
val ty = Type (tyco, map TFree vs);
val cs = (map o apsnd o apsnd o map o map_atyps)
(fn TFree (v, _) => TFree (v, (the o AList.lookup (op =) vs) v)) raw_cs;
- val const = AxClass.param_of_inst thy (@{const_name partial_term_of}, tyco);
+ val const = Axclass.param_of_inst thy (@{const_name partial_term_of}, tyco);
val var_insts =
map (SOME o Thm.cterm_of thy o Logic.unvarify_types_global o Logic.varify_global)
[Free ("ty", Term.itselfT ty), @{term "Quickcheck_Narrowing.Narrowing_variable p tt"},