diff -r 632a033616e9 -r 8570623e3b6d src/HOL/Mutabelle/lib/Tools/mutabelle
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Sep 22 07:26:53 2011 +0200
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Thu Sep 22 10:48:53 2011 +0200
@@ -83,6 +83,8 @@
   \"$MUTABELLE_HOME/mutabelle_extra.ML\"
 begin
 
+declare [[quickcheck_timeout = 30]]
+
 ML {*
 val mtds = [
   MutabelleExtra.quickcheck_mtd (Context.proof_map (Quickcheck.set_active_testers [\"random\"])) \"random\",