equal
deleted
inserted
replaced
27 use_thy "Recipes/Timing"; |
27 use_thy "Recipes/Timing"; |
28 use_thy "Recipes/CallML"; |
28 use_thy "Recipes/CallML"; |
29 use_thy "Recipes/ExternalSolver"; |
29 use_thy "Recipes/ExternalSolver"; |
30 use_thy "Recipes/Oracle"; |
30 use_thy "Recipes/Oracle"; |
31 use_thy "Recipes/Sat"; |
31 use_thy "Recipes/Sat"; |
32 use_thy "Recipes/Introspection"; |
|
33 use_thy "Recipes/USTypes"; |
32 use_thy "Recipes/USTypes"; |
34 |
33 |
35 use_thy "Solutions"; |
34 use_thy "Solutions"; |
36 (*use_thy "Readme";*) |
35 (*use_thy "Readme";*) |
37 |
36 |