src/HOL/Predicate_Compile_Examples/Examples.thy

--- a/src/HOL/Predicate_Compile_Examples/Examples.thy	Sun Apr 03 11:40:32 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Examples.thy	Mon Apr 04 09:32:50 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 {* Formal Languages *}