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 *}