| changeset 42187 | b4f4ed5b8586 |
| parent 42142 | d24a93025feb |
| child 42463 | f270e3e18be5 |
--- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Fri Apr 01 09:29:58 2011 +0200 +++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Fri Apr 01 09:48:01 2011 +0200 @@ -2,7 +2,7 @@ imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs" begin -declare [[values_timeout = 240.0]] +declare [[values_timeout = 480.0]] section {* Specialisation Examples *}