| changeset 346 | 0fea8b7a14a1 |
| parent 189 | 069d525f8f1d |
| child 356 | 43df2d59fb98 |
| 345:4c54ef4dc84d | 346:0fea8b7a14a1 |
|---|---|
1 |
1 |
2 theory Appendix |
2 theory Appendix |
3 imports Main |
3 imports Base |
4 begin |
4 begin |
5 |
5 |
6 (*<*) |
|
7 setup{* |
|
8 open_file_with_prelude |
|
9 "Recipes_Code.thy" |
|
10 ["theory Recipes", "imports Main", "begin"] |
|
11 *} |
|
12 (*>*) |
|
6 |
13 |
7 text {* \appendix *} |
14 text {* \appendix *} |
8 |
15 |
9 |
16 |
10 chapter {* Recipes *} |
17 chapter {* Recipes *} |