diff -r cb39c41548bd -r 7e0bf13bf743 CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Thu Feb 26 14:20:52 2009 +0000
+++ b/CookBook/ROOT.ML	Fri Feb 27 13:02:19 2009 +0000
@@ -15,7 +15,6 @@
 use_thy "Package/Ind_Code";
 
 use_thy "Appendix";
-use_thy "Recipes/NamedThms";
 use_thy "Recipes/Antiquotes";
 use_thy "Recipes/TimeLimit";
 use_thy "Recipes/Config";