changeset 32479 | 521cc9bf2958 |
parent 32428 | 700ed1f4c576 |
child 32556 | c2544c7b0611 |
32478:87201c60ae7d | 32479:521cc9bf2958 |
---|---|
10 "Word", |
10 "Word", |
11 "Eval_Examples", |
11 "Eval_Examples", |
12 "Codegenerator_Test", |
12 "Codegenerator_Test", |
13 "Codegenerator_Pretty_Test", |
13 "Codegenerator_Pretty_Test", |
14 "NormalForm", |
14 "NormalForm", |
15 "../NumberTheory/Factorization", |
|
16 "Predicate_Compile", |
15 "Predicate_Compile", |
17 "Predicate_Compile_ex" |
16 "Predicate_Compile_ex" |
18 ]; |
17 ]; |
19 |
18 |
20 use_thys [ |
19 use_thys [ |