equal
deleted
inserted
replaced
9 "ExecutableContent", |
9 "ExecutableContent", |
10 "FuncSet", |
10 "FuncSet", |
11 "Word", |
11 "Word", |
12 "Eval_Examples", |
12 "Eval_Examples", |
13 "Quickcheck_Generators", |
13 "Quickcheck_Generators", |
14 "Codegenerator", |
14 "Codegenerator_Test", |
15 "Codegenerator_Pretty", |
15 "Codegenerator_Pretty_Test", |
16 "NormalForm", |
16 "NormalForm", |
17 "../NumberTheory/Factorization", |
17 "../NumberTheory/Factorization", |
18 "Predicate_Compile", |
18 "Predicate_Compile", |
19 "Predicate_Compile_ex" |
19 "Predicate_Compile_ex" |
20 ]; |
20 ]; |