src/Pure/ROOT.ML
changeset 6783 9cf9c17d9e35
parent 6693 fec75b36a809
child 7938 e45599caee6c
     1.1 --- a/src/Pure/ROOT.ML	Fri Jun 04 22:12:33 1999 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Jun 05 20:27:53 1999 +0200
     1.3 @@ -39,7 +39,6 @@
     1.4  use "theory.ML";
     1.5  use "theory_data.ML";
     1.6  use "context.ML";
     1.7 -use "object_logic.ML";
     1.8  use "thm.ML";
     1.9  use "display.ML";
    1.10  use "pure_thy.ML";