equal
deleted
inserted
replaced
1 |
1 |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Ex/Classical", |
4 ["../Nominal-General/Atoms", |
5 "Ex/CoreHaskell", |
5 "Ex/Classical", |
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", |
17 "Ex/LetFun", |
17 "Ex/LetFun", |
18 "Ex/Modules", |
18 "Ex/Modules", |
19 "Ex/SingleLet", |
19 "Ex/SingleLet", |
20 "Ex/TypeSchemes", |
20 "Ex/TypeSchemes", |
21 "Ex/TypeVarsTest", |
21 "Ex/TypeVarsTest", |
22 "Ex/Foo1" |
22 "Ex/Foo1", |
|
23 "Ex/Foo2", |
|
24 "Ex/CoreHaskell" |
23 ]; |
25 ]; |