--- a/CookBook/ROOT.ML	Fri Oct 10 17:07:52 2008 +0200
+++ b/CookBook/ROOT.ML	Fri Oct 10 17:08:15 2008 +0200
@@ -1,9 +1,17 @@
 set quick_and_dirty;
 
+no_document use_thy "Base";
+
 use_thy "Intro";
 use_thy "FirstSteps";
 use_thy "Parsing";
 
+no_document use_thy "Package/Simple_Inductive_Package";
+use_thy "Package/Ind_Intro";
+use_thy "Package/Ind_Examples";
+use_thy "Package/Ind_General_Scheme";
+use_thy "Package/Ind_Interface";
+
 use_thy "Appendix";
 use_thy "Recipes/NamedThms";
 use_thy "Recipes/Transformation";