| changeset 51523 | 97b5e8a1291c |
| parent 51521 | 36fa825e0ea7 |
| 51522:bd568f4bf446 | 51523:97b5e8a1291c |
|---|---|
6 |
6 |
7 declare [[quickcheck_finite_types = false]] |
7 declare [[quickcheck_finite_types = false]] |
8 |
8 |
9 find_unused_assms Divides |
9 find_unused_assms Divides |
10 find_unused_assms GCD |
10 find_unused_assms GCD |
11 find_unused_assms RealDef |
11 find_unused_assms Real |
12 |
12 |
13 section {* Set Theory *} |
13 section {* Set Theory *} |
14 |
14 |
15 declare [[quickcheck_finite_types = true]] |
15 declare [[quickcheck_finite_types = true]] |
16 |
16 |