src/HOL/Quickcheck.thy

--- a/src/HOL/Quickcheck.thy	Wed Oct 28 11:55:48 2009 +0100
+++ b/src/HOL/Quickcheck.thy	Wed Oct 28 17:43:43 2009 +0100
@@ -126,6 +126,8 @@
   shows "random_aux k = rhs k"
   using assms by (rule code_numeral.induct)
 
+setup {* Quickcheck.setup *}
+
 use "Tools/quickcheck_generators.ML"
 setup {* Quickcheck_Generators.setup *}