src/HOL/Predicate_Compile_Examples/Examples.thy

--- a/src/HOL/Predicate_Compile_Examples/Examples.thy	Fri Apr 01 09:29:58 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Examples.thy	Fri Apr 01 09:48:01 2011 +0200
@@ -2,6 +2,8 @@
 imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs"
 begin
 
+declare [[values_timeout = 240.0]]
+
 section {* Formal Languages *}
 
 subsection {* General Context Free Grammars *}