Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Quickcheck/narrowing_generators.ML
changeset 51689 43a3465805dd
parent 51673 4dfa00e264d8
parent 51685 385ef6706252
child 55147 bce3dbc11f95 
--- a/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Apr 10 18:51:21 2013 +0200
+++ b/src/HOL/Tools/Quickcheck/narrowing_generators.ML	Wed Apr 10 19:14:47 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"},
isabelle