src/Pure/ROOT.ML
changeset 2960 a6b56d03ed0d
parent 2582 b6e37441acb8
child 3280 87e734c72152
     1.1 --- a/src/Pure/ROOT.ML	Wed Apr 16 18:16:45 1997 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Wed Apr 16 18:17:38 1997 +0200
     1.3 @@ -25,6 +25,8 @@
     1.4  use "ROOT.ML";
     1.5  cd "..";
     1.6  
     1.7 +use "sorts.ML";
     1.8 +use "type_infer.ML";
     1.9  use "type.ML";
    1.10  use "sign.ML";
    1.11  use "sequence.ML";