equal
deleted
inserted
replaced
11 use_thy "Package/Ind_Intro"; |
11 use_thy "Package/Ind_Intro"; |
12 use_thy "Package/Ind_Prelims"; |
12 use_thy "Package/Ind_Prelims"; |
13 use_thy "Package/Ind_Interface"; |
13 use_thy "Package/Ind_Interface"; |
14 use_thy "Package/Ind_General_Scheme"; |
14 use_thy "Package/Ind_General_Scheme"; |
15 use_thy "Package/Ind_Code"; |
15 use_thy "Package/Ind_Code"; |
|
16 use_thy "Package/Ind_Extensions"; |
16 |
17 |
17 use_thy "Appendix"; |
18 use_thy "Appendix"; |
18 use_thy "Recipes/Antiquotes"; |
19 use_thy "Recipes/Antiquotes"; |
19 use_thy "Recipes/TimeLimit"; |
20 use_thy "Recipes/TimeLimit"; |
20 use_thy "Recipes/Timing"; |
21 use_thy "Recipes/Timing"; |