equal
deleted
inserted
replaced
3 no_document use_thys |
3 no_document use_thys |
4 ["Nominal2_Base", |
4 ["Nominal2_Base", |
5 "Nominal2_Eqvt", |
5 "Nominal2_Eqvt", |
6 "Nominal2_Atoms", |
6 "Nominal2_Atoms", |
7 "Nominal2_Supp", |
7 "Nominal2_Supp", |
8 "ExLam", |
8 "Ex/ExLam", |
9 "ExLF", |
9 "Ex/ExLF", |
10 "Ex1", |
10 "Ex/Ex1", |
11 "Ex1rec", |
11 "Ex/Ex1rec", |
12 "Ex2", |
12 "Ex/Ex2", |
13 "Ex3", |
13 "Ex/Ex3", |
14 "ExLet", |
14 "Ex/ExLet", |
15 "ExLetRec", |
15 "Ex/ExLetRec", |
16 "ExTySch", |
16 "Ex/ExTySch", |
17 "ExLeroy", |
17 "Ex/ExLeroy", |
18 "ExPS3", |
18 "Ex/ExPS3", |
19 "ExPS7", |
19 "Ex/ExPS7", |
20 "ExCoreHaskell", |
20 "Ex/ExCoreHaskell", |
21 "Test" |
21 "Ex/Test" |
22 (* "ExPS6", *) |
22 (* "Ex/ExPS6", *) |
23 ]; |
23 ]; |