equal
deleted
inserted
replaced
18 |
18 |
19 use_thy "Appendix"; |
19 use_thy "Appendix"; |
20 use_thy "Recipes/Antiquotes"; |
20 use_thy "Recipes/Antiquotes"; |
21 use_thy "Recipes/TimeLimit"; |
21 use_thy "Recipes/TimeLimit"; |
22 use_thy "Recipes/Timing"; |
22 use_thy "Recipes/Timing"; |
23 use_thy "Recipes/Config"; |
|
24 use_thy "Recipes/StoringData"; |
|
25 use_thy "Recipes/ExternalSolver"; |
23 use_thy "Recipes/ExternalSolver"; |
26 use_thy "Recipes/Oracle"; |
24 use_thy "Recipes/Oracle"; |
27 use_thy "Recipes/Sat"; |
25 use_thy "Recipes/Sat"; |
28 use_thy "Recipes/USTypes"; |
26 use_thy "Recipes/USTypes"; |
29 |
27 |