# HG changeset patch
# User berghofe
# Date 1223651295 -7200
# Node ID 104af757fbf0daba91cff58f0db920090089c743
# Parent  2311f81d7a221d052b815752c1b55dc62418460b
Added chapter about writing packages.

diff -r 2311f81d7a22 -r 104af757fbf0 CookBook/ROOT.ML
--- 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";