changeset 66453 | cc19f7ca2ed6 |
parent 64267 | b9a1486e79be |
child 68249 | 949d93804740 |
66452:450cefec7c11 | 66453:cc19f7ca2ed6 |
---|---|
1 theory Predicate_Compile_Quickcheck_Examples |
1 theory Predicate_Compile_Quickcheck_Examples |
2 imports "~~/src/HOL/Library/Predicate_Compile_Quickcheck" |
2 imports "HOL-Library.Predicate_Compile_Quickcheck" |
3 begin |
3 begin |
4 |
4 |
5 (* |
5 (* |
6 section {* Sets *} |
6 section {* Sets *} |
7 |
7 |