| changeset 42208 | 02513eb26eb7 |
| parent 42142 | d24a93025feb |
| child 42463 | f270e3e18be5 |
--- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy Sun Apr 03 11:40:32 2011 +0200 +++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy Mon Apr 04 09:32:50 2011 +0200 @@ -2,7 +2,7 @@ imports "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs" begin -declare [[values_timeout = 240.0]] +declare [[values_timeout = 480.0]] subsection {* Basic predicates *}