diff -r d69214e47ef9 -r efb5fff99c96 ProgTutorial/ROOT.ML
--- a/ProgTutorial/ROOT.ML	Thu Aug 20 23:30:51 2009 +0200
+++ b/ProgTutorial/ROOT.ML	Fri Aug 21 11:42:14 2009 +0200
@@ -5,6 +5,7 @@
 
 use_thy "Intro";
 use_thy "FirstSteps";
+use_thy "General";
 use_thy "Parsing";
 use_thy "Tactical";