diff -r 1c17e99f6f66 -r 9da9ba2b095b CookBook/ROOT.ML
--- a/CookBook/ROOT.ML	Wed Oct 01 20:42:55 2008 -0400
+++ b/CookBook/ROOT.ML	Thu Oct 02 04:48:41 2008 -0400
@@ -6,4 +6,6 @@
 
 use_thy "Appendix";
 use_thy "Recipes/NamedThms";
-use_thy "Recipes/Transformation";
\ No newline at end of file
+use_thy "Recipes/Transformation";
+
+use_thy "Solutions";
\ No newline at end of file