--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Tutorial/ROOT.ML	Wed Mar 14 15:41:54 2012 +0000
@@ -0,0 +1,19 @@
+
+quick_and_dirty := true;
+
+no_document use_thys
+   ["Lambda",
+    "Minimal",
+    "Tutorial1s",
+    "Tutorial3s",
+    "Tutorial4s",
+    "Tutorial1",
+    "Tutorial2",
+    "Tutorial2s",
+    "Tutorial3",
+    "Tutorial4",
+    "Tutorial5",
+    "Tutorial6" 
+   ];
+
+