| changeset 2482 | 0c2eb0ed30a0 |
| parent 2481 | 3a5ebb2fcdbf |
| child 2494 | 11133eb76f61 |
| 2481:3a5ebb2fcdbf | 2482:0c2eb0ed30a0 |
|---|---|
1 |
1 |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Ex/Classical", |
4 ["Ex/Classical", |
5 "Ex/CoreHaskell", |
5 "Ex/CoreHaskell", |
6 Ex/Datatypes", |
6 "Ex/Datatypes", |
7 "Ex/Ex1", |
7 "Ex/Ex1", |
8 "Ex/ExPS3", |
8 "Ex/ExPS3", |
9 "Ex/Multi_Recs", |
9 "Ex/Multi_Recs", |
10 "Ex/Multi_Recs2", |
10 "Ex/Multi_Recs2", |
11 "Ex/LF", |
11 "Ex/LF", |