src/Pure/ROOT.ML

 use "theory.ML";
 use "theory_data.ML";
 use "object_logic.ML";
 use "thm.ML";
 use "display.ML";
-use "attribute.ML";
 use "pure_thy.ML";
 use "deriv.ML";
 use "drule.ML";
 use "locale.ML";
 use "tctical.ML";