--- a/ProgTutorial/ROOT.ML	Wed Oct 14 02:32:53 2009 +0200
+++ b/ProgTutorial/ROOT.ML	Wed Oct 14 12:33:38 2009 +0200
@@ -28,5 +28,5 @@
 use_thy "Recipes/USTypes";
 
 use_thy "Solutions";
-use_thy "Readme";
+(*use_thy "Readme";*)