--- a/CookBook/ROOT.ML	Sat Jan 03 20:44:54 2009 +0000
+++ b/CookBook/ROOT.ML	Wed Jan 07 16:29:49 2009 +0100
@@ -16,6 +16,10 @@
 use_thy "Recipes/NamedThms";
 use_thy "Recipes/Transformation";
 use_thy "Recipes/Antiquotes";
+use_thy "Recipes/TimeLimit";
+use_thy "Recipes/Config";
+use_thy "Recipes/StoringData";
+use_thy "Recipes/ExternalSolver";
 
 use_thy "Solutions";
-use_thy "Readme";
\ No newline at end of file
+use_thy "Readme";