changeset 37695 | 71e84a203c19 |
parent 37280 | 0fb011773adc |
child 37760 | 8380686be5cd |
37694:19e8b730ddeb | 37695:71e84a203c19 |
---|---|
6 no_document use_thys [ |
6 no_document use_thys [ |
7 "State_Monad", |
7 "State_Monad", |
8 "Efficient_Nat_examples", |
8 "Efficient_Nat_examples", |
9 "FuncSet", |
9 "FuncSet", |
10 "Eval_Examples", |
10 "Eval_Examples", |
11 "Codegenerator_Test", |
|
12 "Codegenerator_Pretty_Test", |
|
13 "NormalForm" |
11 "NormalForm" |
14 ]; |
12 ]; |
15 |
13 |
16 use_thys [ |
14 use_thys [ |
17 "Numeral", |
15 "Numeral", |