| changeset 1128 | 17ca92ab4660 |
| parent 918 | 7be9b054f672 |
| 1127:243a5ceaa088 | 1128:17ca92ab4660 |
|---|---|
1 quick_and_dirty := true; |
1 quick_and_dirty := true; |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["QuotMain", |
4 ["Quotient", |
5 "Examples/AbsRepTest", |
5 "Examples/AbsRepTest", |
6 "Examples/FSet", |
6 "Examples/FSet", |
7 "Examples/FSet2", |
7 "Examples/FSet2", |
8 "Examples/FSet3", |
8 "Examples/FSet3", |
9 "Examples/IntEx", |
9 "Examples/IntEx", |