| changeset 41 | b11653b11bd3 |
| parent 27 | 104af757fbf0 |
| child 44 | dee4b3e66dfe |
| 40:35e1dff0d9bb | 41:b11653b11bd3 |
|---|---|
13 use_thy "Package/Ind_Interface"; |
13 use_thy "Package/Ind_Interface"; |
14 |
14 |
15 use_thy "Appendix"; |
15 use_thy "Appendix"; |
16 use_thy "Recipes/NamedThms"; |
16 use_thy "Recipes/NamedThms"; |
17 use_thy "Recipes/Transformation"; |
17 use_thy "Recipes/Transformation"; |
18 use_thy "Recipes/Antiquotes"; |
|
18 |
19 |
19 use_thy "Solutions"; |
20 use_thy "Solutions"; |