diff -r c0cae24b9d46 -r 5dffcab68680 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Sat Oct 03 13:01:39 2009 +0200
+++ b/ProgTutorial/ROOT.ML	Sat Oct 03 19:10:23 2009 +0200
@@ -6,6 +6,8 @@
 use_thy "Intro";
 use_thy "FirstSteps";
 use_thy "General";
+
+no_document use_thy "Helper/Command/Command";
 use_thy "Parsing";
 use_thy "Tactical";