src/HOL/ex/SML_Quickcheck_Examples.thy
changeset 43686 bc7d63c7fd6f
parent 42161 d1b39536e1fb
     1.1 --- a/src/HOL/ex/SML_Quickcheck_Examples.thy	Sun Jul 03 09:59:25 2011 +0200
     1.2 +++ b/src/HOL/ex/SML_Quickcheck_Examples.thy	Wed Jul 06 13:52:42 2011 +0200
     1.3 @@ -16,6 +16,7 @@
     1.4  *}
     1.5  
     1.6  declare [[quickcheck_finite_types = false]]
     1.7 +declare [[quickcheck_timeout = 600.0]]
     1.8  
     1.9  subsection {* Lists *}
    1.10  
    1.11 @@ -139,4 +140,4 @@
    1.12    --{* Wrong! *} 
    1.13    oops
    1.14  
    1.15 -end
    1.16 \ No newline at end of file
    1.17 +end