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