| changeset 41923 | f05fc0711bc7 |
| parent 41922 | fc070c5f3a4c |
| child 41928 | 05abcee548a1 |
--- a/src/HOL/Quickcheck.thy Fri Mar 11 15:21:13 2011 +0100 +++ b/src/HOL/Quickcheck.thy Fri Mar 11 15:21:13 2011 +0100 @@ -127,7 +127,7 @@ using assms by (rule code_numeral.induct) use "Tools/Quickcheck/random_generators.ML" -setup Quickcheck_Generators.setup +setup Random_Generators.setup subsection {* Code setup *}