# HG changeset patch
# User bulwahn
# Date 1279728711 -7200
# Node ID 88aba1803b3549e49072547cb2fe0e5625cb506f
# Parent  eda5faaca9e2c4ebc56e7ab4ad073743272fc3f7
hiding constants in Quickcheck_Types

diff -r eda5faaca9e2 -r 88aba1803b35 src/HOL/Library/Quickcheck_Types.thy
--- a/src/HOL/Library/Quickcheck_Types.thy	Wed Jul 21 18:11:51 2010 +0200
+++ b/src/HOL/Library/Quickcheck_Types.thy	Wed Jul 21 18:11:51 2010 +0200
@@ -52,6 +52,8 @@
 
 end
 
+hide_const Zero A B C One
+
 subsection {* Values extended by a bottom element *}
 
 datatype 'a bot = Value 'a | Bot