# HG changeset patch
# User huffman
# Date 1322818307 -3600
# Node ID 1024dd30da42915cd9df544c6e462400f3b72704
# Parent  6bb30ae1abfeee0c83a62eaaf9d6fa351f7ea1be
hide quickcheck constants Abs_cfun and Rep_cfun, to avoid clash with HOLCF

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