src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy

--- a/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Mon Mar 28 10:25:28 2011 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Predicate_Compile_Tests.thy	Mon Mar 28 17:33:16 2011 +0200
@@ -2,6 +2,8 @@
 imports "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs"
 begin
 
+declare [[values_timeout = 240.0]]
+
 subsection {* Basic predicates *}
 
 inductive False' :: "bool"