diff -r 0019ebf76e10 -r 2c392f61f400 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Thu Nov 19 14:11:50 2009 +0100
+++ b/ProgTutorial/ROOT.ML	Thu Nov 19 17:48:44 2009 +0100
@@ -5,7 +5,8 @@
 
 use_thy "Intro";
 use_thy "FirstSteps";
-use_thy "General";
+use_thy "Essential";
+use_thy "Advanced";
 
 no_document use_thy "Helper/Command/Command";
 use_thy "Parsing";