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