equal
deleted
inserted
replaced
1 |
1 |
2 |
2 |
3 no_document use_thys |
3 no_document use_thys |
4 ["Atoms", |
4 ["Atoms", |
5 "Nominal2_Abs", |
5 "Ex/Weakening", |
6 "Ex/Classical", |
6 "Ex/Classical", |
7 "Ex/Datatypes", |
7 "Ex/Datatypes", |
8 "Ex/Ex1", |
8 "Ex/Ex1", |
9 "Ex/ExPS3", |
9 "Ex/ExPS3", |
10 "Ex/Multi_Recs", |
10 "Ex/Multi_Recs", |
23 "Ex/TypeSchemes", |
23 "Ex/TypeSchemes", |
24 "Ex/TypeVarsTest", |
24 "Ex/TypeVarsTest", |
25 "Ex/Foo1", |
25 "Ex/Foo1", |
26 "Ex/Foo2", |
26 "Ex/Foo2", |
27 "Ex/CoreHaskell", |
27 "Ex/CoreHaskell", |
28 "Ex/CoreHaskell2", |
28 "Ex/CoreHaskell2" |
29 |
29 ]; |
30 "Ex/Weakening" |
|
31 ]; |
|