--- a/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 13 18:36:11 2011 +0200
+++ b/src/HOL/ex/Quickcheck_Examples.thy Wed Jul 13 21:59:54 2011 +0200
@@ -21,6 +21,8 @@
*}
+declare [[quickcheck_timeout = 3600]]
+
subsection {* Lists *}
theorem "map g (map f xs) = map (g o f) xs"