| changeset 1911 | 60b5c61d3de2 |
| parent 1797 | fddb470720f1 |
| child 2062 | 65bdcc42badd |
| 1910:57891245370d | 1911:60b5c61d3de2 |
|---|---|
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", |