| changeset 517 | d8c376662bb4 |
| parent 475 | 25371f74c768 |
| child 565 | cecd7a941885 |
| 516:fb6c29a90003 | 517:d8c376662bb4 |
|---|---|
1 |
1 |
2 theory Appendix |
2 theory Appendix |
3 imports Base |
3 imports Base |
4 begin |
4 begin |
5 |
|
6 (*<*) |
|
7 setup{* |
|
8 open_file_with_prelude |
|
9 "Recipes_Code.thy" |
|
10 ["theory Recipes", "imports Main", "begin"] |
|
11 *} |
|
12 (*>*) |
|
13 |
5 |
14 text {* \appendix *} |
6 text {* \appendix *} |
15 |
7 |
16 |
8 |
17 chapter {* Recipes *} |
9 chapter {* Recipes *} |