diff -r 02f76f1b6e7b -r dee4b3e66dfe CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Wed Oct 29 13:58:36 2008 +0100
+++ b/CookBook/ROOT.ML	Wed Oct 29 21:46:33 2008 +0100
@@ -17,4 +17,5 @@
 use_thy "Recipes/Transformation";
 use_thy "Recipes/Antiquotes";
 
-use_thy "Solutions";
\ No newline at end of file
+use_thy "Solutions";
+use_thy "Readme";
\ No newline at end of file