diff -r fcc0e6e54dca -r 74846cb0fff9 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Thu Feb 19 14:44:53 2009 +0000
+++ b/CookBook/ROOT.ML	Fri Feb 20 23:19:41 2009 +0000
@@ -9,9 +9,9 @@
 use_thy "Tactical";
 
 use_thy "Package/Ind_Intro";
-use_thy "Package/Ind_Examples";
+use_thy "Package/Ind_Prelims";
+use_thy "Package/Ind_Interface";
 use_thy "Package/Ind_General_Scheme";
-use_thy "Package/Ind_Interface";
 use_thy "Package/Ind_Code";
 
 use_thy "Appendix";
@@ -23,6 +23,7 @@
 use_thy "Recipes/StoringData";
 use_thy "Recipes/ExternalSolver";
 use_thy "Recipes/Oracle";
+use_thy "Recipes/Sat";
 
 use_thy "Solutions";
 use_thy "Readme";