| changeset 40055 | 1f7cc5357d96 |
| parent 39655 | 8ad7fe9d6f0b |
| child 40104 | 82873a6f2b81 |
| 40054:cd7b1fa20bce | 40055:1f7cc5357d96 |
|---|---|
1 use_thys [ |
1 use_thys [ |
2 "Examples", |
2 "Examples", |
3 "Predicate_Compile_Tests", |
3 "Predicate_Compile_Tests", |
4 "Predicate_Compile_Quickcheck_Examples", |
4 (* "Predicate_Compile_Quickcheck_Examples", -- should be added again soon *) |
5 "Specialisation_Examples", |
5 "Specialisation_Examples", |
6 "IMP_1", |
6 "IMP_1", |
7 "IMP_2", |
7 "IMP_2", |
8 "IMP_3", |
8 "IMP_3", |
9 "IMP_4"]; |
9 "IMP_4"]; |