diff -r 8939b8fd8603 -r 069d525f8f1d ProgTutorial/ROOT.ML
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/ProgTutorial/ROOT.ML	Thu Mar 19 13:28:16 2009 +0100
@@ -0,0 +1,30 @@
+set quick_and_dirty;
+
+no_document use_thy "Base";
+no_document use_thy "Package/Simple_Inductive_Package";
+
+use_thy "Intro";
+use_thy "FirstSteps";
+use_thy "Parsing";
+use_thy "Tactical";
+
+use_thy "Package/Ind_Intro";
+use_thy "Package/Ind_Prelims";
+use_thy "Package/Ind_Interface";
+use_thy "Package/Ind_General_Scheme";
+use_thy "Package/Ind_Code";
+
+use_thy "Appendix";
+use_thy "Recipes/Antiquotes";
+use_thy "Recipes/TimeLimit";
+use_thy "Recipes/Timing";
+use_thy "Recipes/Config";
+use_thy "Recipes/StoringData";
+use_thy "Recipes/ExternalSolver";
+use_thy "Recipes/Oracle";
+use_thy "Recipes/Sat";
+use_thy "Recipes/USTypes";
+
+use_thy "Solutions";
+use_thy "Readme";
+