src/HOL/Predicate_Compile_Examples/Lambda_Example.thy
changeset 39189 d183bf90dabd
parent 38963 b5d126d7be4b
child 39463 7ce0ed8dc4d6
     1.1 --- a/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Tue Sep 07 11:51:53 2010 +0200
     1.2 +++ b/src/HOL/Predicate_Compile_Examples/Lambda_Example.thy	Tue Sep 07 11:51:53 2010 +0200
     1.3 @@ -88,6 +88,7 @@
     1.4      replacing = [(("typing", "limited_typing"), "quickcheck"),
     1.5                   (("nthel1", "limited_nthel1"), "lim_typing")],
     1.6      manual_reorder = [],
     1.7 +    timeout = Time.fromSeconds 10,
     1.8      prolog_system = Code_Prolog.SWI_PROLOG}) *}
     1.9  
    1.10  lemma