equal
deleted
inserted
replaced
7 use_thy "FirstSteps"; |
7 use_thy "FirstSteps"; |
8 use_thy "Parsing"; |
8 use_thy "Parsing"; |
9 use_thy "Tactical"; |
9 use_thy "Tactical"; |
10 |
10 |
11 use_thy "Package/Ind_Intro"; |
11 use_thy "Package/Ind_Intro"; |
12 use_thy "Package/Ind_Examples"; |
12 use_thy "Package/Ind_Prelims"; |
|
13 use_thy "Package/Ind_Interface"; |
13 use_thy "Package/Ind_General_Scheme"; |
14 use_thy "Package/Ind_General_Scheme"; |
14 use_thy "Package/Ind_Interface"; |
|
15 use_thy "Package/Ind_Code"; |
15 use_thy "Package/Ind_Code"; |
16 |
16 |
17 use_thy "Appendix"; |
17 use_thy "Appendix"; |
18 use_thy "Recipes/NamedThms"; |
18 use_thy "Recipes/NamedThms"; |
19 use_thy "Recipes/Transformation"; |
19 use_thy "Recipes/Transformation"; |
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 use_thy "Recipes/Oracle"; |
|
26 use_thy "Recipes/Sat"; |
26 |
27 |
27 use_thy "Solutions"; |
28 use_thy "Solutions"; |
28 use_thy "Readme"; |
29 use_thy "Readme"; |
29 |
30 |