| changeset 348 | 2f2018927f2a |
| parent 329 | 5dffcab68680 |
| child 395 | 2c392f61f400 |
| 347:01e71cddf6a3 | 348:2f2018927f2a |
|---|---|
26 use_thy "Recipes/Oracle"; |
26 use_thy "Recipes/Oracle"; |
27 use_thy "Recipes/Sat"; |
27 use_thy "Recipes/Sat"; |
28 use_thy "Recipes/USTypes"; |
28 use_thy "Recipes/USTypes"; |
29 |
29 |
30 use_thy "Solutions"; |
30 use_thy "Solutions"; |
31 use_thy "Readme"; |
31 (*use_thy "Readme";*) |
32 |
32 |