--- a/CookBook/ROOT.ML	Thu Jan 29 17:09:56 2009 +0000
+++ b/CookBook/ROOT.ML	Thu Jan 29 17:10:13 2009 +0000
@@ -12,6 +12,7 @@
 use_thy "Package/Ind_Examples";
 use_thy "Package/Ind_General_Scheme";
 use_thy "Package/Ind_Interface";
+use_thy "Package/Ind_Code";
 
 use_thy "Appendix";
 use_thy "Recipes/NamedThms";