--- a/src/Pure/ROOT.ML Tue Jan 12 12:17:53 1999 +0100
+++ b/src/Pure/ROOT.ML Tue Jan 12 12:28:29 1999 +0100
@@ -39,7 +39,6 @@
use "object_logic.ML";
use "thm.ML";
use "display.ML";
-use "attribute.ML";
use "pure_thy.ML";
use "deriv.ML";
use "drule.ML";