| changeset 129 | e0d368a45537 |
| parent 73 | bcbcf5c839ae |
| child 131 | 8db9195bb3e9 |
| 128:693711a0c702 | 129:e0d368a45537 |
|---|---|
2 theory Appendix |
2 theory Appendix |
3 imports Main |
3 imports Main |
4 begin |
4 begin |
5 |
5 |
6 text {* \appendix *} |
6 text {* \appendix *} |
7 |
|
8 text {* |
|
9 Possible topics: translations/print translations |
|
10 |
|
11 *} |
|
12 |
|
7 |
13 |
8 chapter {* Recipes *} |
14 chapter {* Recipes *} |
9 |
15 |
10 end |
16 end |
11 |
17 |