diff -r c22b507e1407 -r e81ebb37aa83 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Sat Feb 28 14:18:02 2009 +0000
+++ b/CookBook/ROOT.ML	Sun Mar 01 21:48:59 2009 +0000
@@ -17,6 +17,7 @@
 use_thy "Appendix";
 use_thy "Recipes/Antiquotes";
 use_thy "Recipes/TimeLimit";
+use_thy "Recipes/Timing";
 use_thy "Recipes/Config";
 use_thy "Recipes/StoringData";
 use_thy "Recipes/ExternalSolver";