| changeset 1915 | 72cdd2af7eb4 |
| parent 1911 | 60b5c61d3de2 |
| child 2062 | 65bdcc42badd |
| 1914:c50601bc617e | 1915:72cdd2af7eb4 |
|---|---|
1 quick_and_dirty := true; |
1 quick_and_dirty := true; |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Ex/Lambda", |
4 ["Ex/Lambda", |
5 "Ex/ExLF", |
5 "Ex/ExLF", |
6 "Ex/Ex1", |
6 "Ex/SingleLet", |
7 "Ex/Ex1rec", |
7 "Ex/Ex1rec", |
8 "Ex/Ex2", |
8 "Ex/Ex2", |
9 "Ex/Ex3", |
9 "Ex/Ex3", |
10 "Ex/ExLet", |
10 "Ex/ExLet", |
11 "Ex/ExLetRec", |
11 "Ex/ExLetRec", |