| changeset 42142 | d24a93025feb |
| parent 41413 | 64cd30d6b0b8 |
| child 42187 | b4f4ed5b8586 |
--- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Mon Mar 28 10:25:28 2011 +0200 +++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Mon Mar 28 17:33:16 2011 +0200 @@ -2,6 +2,8 @@ imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs" begin +declare [[values_timeout = 240.0]] + section {* Specialisation Examples *} primrec nth_el'