src/Pure/ROOT.ML
changeset 5004 cf4e3b487caf
parent 4991 d7d525466221
child 5017 786a17461ab9
     1.1 --- a/src/Pure/ROOT.ML	Mon Jun 08 15:57:30 1998 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Jun 08 15:57:50 1998 +0200
     1.3 @@ -37,6 +37,7 @@
     1.4  use "net.ML";
     1.5  use "logic.ML";
     1.6  use "theory.ML";
     1.7 +use "theory_data.ML";
     1.8  use "thm.ML";
     1.9  use "display.ML";
    1.10  use "attribute.ML";