| changeset 604 | 0cf166548856 |
| parent 601 | 81f40b8bde7b |
| child 628 | a11b9b757f89 |
| 603:7f35355df72e | 604:0cf166548856 |
|---|---|
1 no_document use_thys |
1 quick_and_dirty := true; |
2 |
|
3 no_document use_thys |
|
2 ["QuotMain", |
4 ["QuotMain", |
3 "Examples/Fset", |
5 "Examples/Fset", |
4 "Examples/IntEx", |
6 "Examples/IntEx", |
5 "Examples/IntEx2", |
7 "Examples/IntEx2", |
6 "Examples/LFex", |
8 "Examples/LFex", |
7 "Examples/LamEx"]; |
9 "Examples/LamEx"]; |
8 |