--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/TutorialI/Misc/ROOT.ML	Wed Apr 19 11:56:31 2000 +0200
@@ -0,0 +1,18 @@
+use_thy "Tree";
+use_thy "cases";
+use_thy "fakenat";
+use_thy "natsum";
+use_thy "arith1";
+use_thy "arith2";
+use_thy "arith3";
+use_thy "arith4";
+use_thy "pairs";
+use_thy "types";
+use_thy "prime_def";
+use_thy "def_rewr";
+use_thy "let_rewr";
+use_thy "cond_rewr";
+use_thy "case_splits";
+use_thy "trace_simp";
+use_thy "Itrev";
+use_thy "asm_simp";