src/HOL/Predicate_Compile_Examples/Lambda_Example.thy

--- a/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Tue Sep 07 11:51:53 2010 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Tue Sep 07 11:51:53 2010 +0200
@@ -88,6 +88,7 @@
     replacing = [(("typing", "limited_typing"), "quickcheck"),
                  (("nthel1", "limited_nthel1"), "lim_typing")],
     manual_reorder = [],
+    timeout = Time.fromSeconds 10,
     prolog_system = Code_Prolog.SWI_PROLOG}) *}
 
 lemma