
diff -r 6bb30ae1abfe -r 1024dd30da42 src/HOL/Quickcheck_Narrowing.thy
--- a/src/HOL/Quickcheck_Narrowing.thy	Thu Dec 01 22:16:26 2011 +0100
+++ b/src/HOL/Quickcheck_Narrowing.thy	Fri Dec 02 10:31:47 2011 +0100
@@ -348,7 +348,7 @@
   "eval_cfun (Constant c) y = c"
 
 hide_type (open) cfun
-hide_const (open) Constant eval_cfun
+hide_const (open) Constant eval_cfun Abs_cfun Rep_cfun
 
 subsubsection {* Setting up the counterexample generator *}
 




