1.1 --- a/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Mon Oct 10 11:12:09 2011 +0200
1.2 +++ b/src/HOL/Predicate_Compile_Examples/Specialisation_Examples.thy Mon Oct 10 16:47:45 2011 +0200
1.3 @@ -2,7 +2,7 @@
1.4 imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs"
1.5 begin
1.6
1.7 -declare [[values_timeout = 480.0]]
1.8 +declare [[values_timeout = 960.0]]
1.9
1.10 section {* Specialisation Examples *}
1.11
1.12 @@ -260,4 +260,4 @@
1.13 thm subtype_refl'.equation
1.14
1.15
1.16 -end
1.17 \ No newline at end of file
1.18 +end