--- 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";