Smaller size and fewer iterations for quickcheck.

--- 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 = {*