equal
deleted
inserted
replaced
10 no_document use_thy "Package/Simple_Inductive_Package"; |
10 no_document use_thy "Package/Simple_Inductive_Package"; |
11 use_thy "Package/Ind_Intro"; |
11 use_thy "Package/Ind_Intro"; |
12 use_thy "Package/Ind_Examples"; |
12 use_thy "Package/Ind_Examples"; |
13 use_thy "Package/Ind_General_Scheme"; |
13 use_thy "Package/Ind_General_Scheme"; |
14 use_thy "Package/Ind_Interface"; |
14 use_thy "Package/Ind_Interface"; |
|
15 use_thy "Package/Ind_Code"; |
15 |
16 |
16 use_thy "Appendix"; |
17 use_thy "Appendix"; |
17 use_thy "Recipes/NamedThms"; |
18 use_thy "Recipes/NamedThms"; |
18 use_thy "Recipes/Transformation"; |
19 use_thy "Recipes/Transformation"; |
19 use_thy "Recipes/Antiquotes"; |
20 use_thy "Recipes/Antiquotes"; |