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