changeset 66453 | cc19f7ca2ed6 |
parent 63167 | 0909deb8059b |
child 67479 | 31d04ba28893 |
66452:450cefec7c11 | 66453:cc19f7ca2ed6 |
---|---|
1 theory Specialisation_Examples |
1 theory Specialisation_Examples |
2 imports Main "~~/src/HOL/Library/Predicate_Compile_Alternative_Defs" |
2 imports Main "HOL-Library.Predicate_Compile_Alternative_Defs" |
3 begin |
3 begin |
4 |
4 |
5 declare [[values_timeout = 960.0]] |
5 declare [[values_timeout = 960.0]] |
6 |
6 |
7 section \<open>Specialisation Examples\<close> |
7 section \<open>Specialisation Examples\<close> |