diff -r 6cd8abc7f15b -r 44937faf9e1a src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sun Apr 09 18:51:15 2006 +0200
+++ b/src/Pure/ROOT.ML	Sun Apr 09 18:51:16 2006 +0200
@@ -66,15 +66,6 @@
 (*theory syntax*)
 use "Isar/outer_lex.ML";
 
-(*theory presentation*)
-use "Thy/html.ML";
-use "Thy/latex.ML";
-use "Thy/present.ML";
-use "Thy/thm_deps.ML";
-
-(*theorem database ML interface*)
-use "Thy/thm_database.ML";
-
 (*the Isar system*)
 cd "Isar"; use "ROOT.ML"; cd "..";