--- a/CookBook/ROOT.ML	Wed Sep 03 18:29:48 2008 +0200
+++ b/CookBook/ROOT.ML	Fri Sep 05 09:47:51 2008 +0200
@@ -1,5 +1,6 @@
 set quick_and_dirty;
 
-use_thy "CookBook";
+use_thy "Intro";
+use_thy "FirstSteps";
 
 use_thy "NamedThms";