| changeset 120 | c39f83d8daeb |
| parent 92 | 4e3f262a459d |
| child 122 | 79696161ae16 |
| 119:4536782969fa | 120:c39f83d8daeb |
|---|---|
20 use_thy "Recipes/Antiquotes"; |
20 use_thy "Recipes/Antiquotes"; |
21 use_thy "Recipes/TimeLimit"; |
21 use_thy "Recipes/TimeLimit"; |
22 use_thy "Recipes/Config"; |
22 use_thy "Recipes/Config"; |
23 use_thy "Recipes/StoringData"; |
23 use_thy "Recipes/StoringData"; |
24 use_thy "Recipes/ExternalSolver"; |
24 use_thy "Recipes/ExternalSolver"; |
25 use_thy "Recipes/Oracle"; |
|
25 |
26 |
26 use_thy "Solutions"; |
27 use_thy "Solutions"; |
27 use_thy "Readme"; |
28 use_thy "Readme"; |
28 |
29 |