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