src/Pure/ROOT.ML
changeset 28318 6b8d001ce1de
parent 28288 09c812966e7f
child 28404 b906dd1de855
     1.1 --- a/src/Pure/ROOT.ML	Mon Sep 22 15:26:11 2008 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Sep 22 15:26:11 2008 +0200
     1.3 @@ -61,7 +61,6 @@
     1.4  use "theory.ML";
     1.5  use "interpretation.ML";
     1.6  use "proofterm.ML";
     1.7 -use "deriv.ML";
     1.8  use "thm.ML";
     1.9  use "more_thm.ML";
    1.10  use "facts.ML";