equal
deleted
inserted
replaced
1 quick_and_dirty := true; |
|
2 |
1 |
3 (* |
2 |
4 no_document use_thys |
3 no_document use_thys |
5 ["Ex/Lambda", |
4 ["Ex/Classical", |
6 "Ex/LF", |
5 "Ex/CoreHaskell", |
7 "Ex/SingleLet", |
|
8 "Ex/Ex1rec", |
|
9 "Ex/Ex2", |
|
10 "Ex/Ex3", |
|
11 "Ex/ExLet", |
|
12 "Ex/ExLetRec", |
|
13 "Ex/TypeSchemes", |
|
14 "Ex/Modules", |
|
15 "Ex/ExPS3", |
6 "Ex/ExPS3", |
16 "Ex/ExPS7", |
7 "Ex/ExPS7", |
17 "Ex/CoreHaskell", |
8 "Ex/ExPS8", |
18 "Ex/Test"(*, |
9 "Ex/LF", |
19 "Manual/Term4"*) |
10 "Ex/Lambda", |
|
11 "Ex/Let", |
|
12 "Ex/LetPat", |
|
13 "Ex/LetRec", |
|
14 "Ex/LetRec2", |
|
15 "Ex/Modules", |
|
16 "Ex/SingleLet", |
|
17 "Ex/TypeSchemes", |
|
18 "Ex/TypeVarsTest" |
20 ]; |
19 ]; |
21 *) |
|