equal
deleted
inserted
replaced
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 use_thy "Recipes/Antiquotes"; |
|
19 use_thy "Recipes/TimeLimit"; |
|
20 use_thy "Recipes/Config"; |
|
21 use_thy "Recipes/StoringData"; |
|
22 use_thy "Recipes/ExternalSolver"; |
19 |
23 |
20 use_thy "Solutions"; |
24 use_thy "Solutions"; |
21 use_thy "Readme"; |
25 use_thy "Readme"; |