diff -r 6dafb0815ae6 -r 84d1392186d3 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Wed Feb 25 21:55:08 2009 +0000
+++ b/CookBook/ROOT.ML	Wed Feb 25 22:13:41 2009 +0000
@@ -16,7 +16,6 @@
 
 use_thy "Appendix";
 use_thy "Recipes/NamedThms";
-use_thy "Recipes/Transformation";
 use_thy "Recipes/Antiquotes";
 use_thy "Recipes/TimeLimit";
 use_thy "Recipes/Config";