increasing quickcheck timeout to reduce spurious test failures due to massive parallel invocations and bad scheduling

--- a/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Sun Sep 18 16:12:43 2011 -0700
+++ b/src/HOL/ex/Quickcheck_Lattice_Examples.thy	Mon Sep 19 14:24:53 2011 +0200
@@ -18,7 +18,7 @@
   inf (infixl "\<sqinter>" 70) and
   sup (infixl "\<squnion>" 65)
 
-declare [[quickcheck_narrowing_active = false]]
+declare [[quickcheck_narrowing_active = false, quickcheck_timeout = 3600]]
 
 subsection {* Distributive lattices *}