equal
deleted
inserted
replaced
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/LF", |
6 "Ex/SingleLet", |
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", |
12 "Ex/TypeSchemes", |
12 "Ex/TypeSchemes", |
13 "Ex/ExLeroy", |
13 "Ex/Modules", |
14 "Ex/ExPS3", |
14 "Ex/ExPS3", |
15 "Ex/ExPS7", |
15 "Ex/ExPS7", |
16 "Ex/ExCoreHaskell", |
16 "Ex/CoreHaskell", |
17 "Ex/Test", |
17 "Ex/Test", |
18 "Manual/Term4" |
18 "Manual/Term4" |
19 ]; |
19 ]; |