src/Pure/ROOT.ML
changeset 6083 ede76e7af057
parent 6038 dfdb7584cf96
child 6164 a0e9501d56f8
     1.1 --- a/src/Pure/ROOT.ML	Tue Jan 12 12:17:53 1999 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Jan 12 12:28:29 1999 +0100
     1.3 @@ -39,7 +39,6 @@
     1.4  use "object_logic.ML";
     1.5  use "thm.ML";
     1.6  use "display.ML";
     1.7 -use "attribute.ML";
     1.8  use "pure_thy.ML";
     1.9  use "deriv.ML";
    1.10  use "drule.ML";