--- a/src/Pure/Isar/ROOT.ML Wed Mar 26 22:40:10 2008 +0100
+++ b/src/Pure/Isar/ROOT.ML Wed Mar 26 22:41:58 2008 +0100
@@ -29,7 +29,6 @@
use "../Thy/present.ML";
use "../Thy/thy_info.ML";
use "../Thy/thm_deps.ML";
-use "../Thy/thm_database.ML";
(*basic proof engine*)
use "proof_display.ML";