src/Pure/ROOT.ML
changeset 1595 b9984b1dbc4c
parent 1582 97a305db0c9e
child 1864 9ac4c2240d89
     1.1 --- a/src/Pure/ROOT.ML	Wed Mar 20 18:43:08 1996 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Thu Mar 21 11:04:36 1996 +0100
     1.3 @@ -35,6 +35,8 @@
     1.4  use "logic.ML";
     1.5  use "theory.ML";
     1.6  use "thm.ML";
     1.7 +use "deriv.ML";
     1.8 +use "display.ML";
     1.9  use "drule.ML";
    1.10  use "tctical.ML";
    1.11  use "search.ML";