--- 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}"