--- a/src/HOL/Code_Setup.thy Tue Aug 28 18:24:34 2007 +0200 +++ b/src/HOL/Code_Setup.thy Tue Aug 28 18:26:48 2007 +0200 @@ -61,6 +61,8 @@ end *} +quickcheck_params [size = 5, iterations = 50] + text {* Evaluation *} method_setup evaluation = {*