--- a/CookBook/ROOT.ML	Thu Feb 26 13:46:05 2009 +0100
+++ b/CookBook/ROOT.ML	Thu Mar 12 08:11:02 2009 +0100
@@ -15,9 +15,9 @@
 use_thy "Package/Ind_Code";
 
 use_thy "Appendix";
-use_thy "Recipes/NamedThms";
 use_thy "Recipes/Antiquotes";
 use_thy "Recipes/TimeLimit";
+use_thy "Recipes/Timing";
 use_thy "Recipes/Config";
 use_thy "Recipes/StoringData";
 use_thy "Recipes/ExternalSolver";