src/HOL/Mutabelle/mutabelle_extra.ML

--- a/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Mar 02 22:13:32 2010 +0100
+++ b/src/HOL/Mutabelle/mutabelle_extra.ML	Tue Mar 02 22:13:33 2010 +0100
@@ -54,7 +54,7 @@
 
 (* quickcheck options *)
 (*val quickcheck_generator = "SML"*)
-val iterations = 100
+val iterations = 10
 val size = 5
 
 exception RANDOM;