| changeset 13 | 2b07da8b310d |
| parent 12 | 2f1736cb8f26 |
| child 15 | 9da9ba2b095b |
| 12:2f1736cb8f26 | 13:2b07da8b310d |
|---|---|
1 set quick_and_dirty; |
1 set quick_and_dirty; |
2 |
2 |
3 use_thy "Intro"; |
3 use_thy "Intro"; |
4 use_thy "FirstSteps"; |
4 use_thy "FirstSteps"; |
5 use_thy "Parsing"; |
5 use_thy "Parsing"; |
6 use_thy "NamedThms"; |
6 |
7 use_thy "Transformation"; |
7 use_thy "Appendix"; |
8 use_thy "Recipes/NamedThms"; |
|
9 use_thy "Recipes/Transformation"; |