
diff -r cd6558ed65d7 -r d183bf90dabd src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy
--- a/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy	Tue Sep 07 11:51:53 2010 +0200
+++ b/src/HOL/Predicate_Compile_Examples/Code_Prolog_Examples.thy	Tue Sep 07 11:51:53 2010 +0200
@@ -16,6 +16,7 @@
    limited_predicates = [],
    replacing = [],
    manual_reorder = [],
+   timeout = Time.fromSeconds 10,
    prolog_system = Code_Prolog.SWI_PROLOG}) *}
 
 values "{(x, y, z). append x y z}"
@@ -28,6 +29,7 @@
    limited_predicates = [],
    replacing = [],
    manual_reorder = [],
+   timeout = Time.fromSeconds 10,
    prolog_system = Code_Prolog.YAP}) *}
 
 values "{(x, y, z). append x y z}"
@@ -38,6 +40,7 @@
    limited_predicates = [],
    replacing = [],
    manual_reorder = [],
+   timeout = Time.fromSeconds 10,
    prolog_system = Code_Prolog.SWI_PROLOG}) *}
 
 
@@ -207,6 +210,7 @@
    limited_predicates = [],
    replacing = [],
    manual_reorder = [], 
+   timeout = Time.fromSeconds 10,
    prolog_system = Code_Prolog.SWI_PROLOG}) *}
 
 values 2 "{y. notB y}"




