src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Wed Apr 16 18:16:45 1997 +0200
+++ b/src/Pure/ROOT.ML	Wed Apr 16 18:17:38 1997 +0200
@@ -25,6 +25,8 @@
 use "ROOT.ML";
 cd "..";
 
+use "sorts.ML";
+use "type_infer.ML";
 use "type.ML";
 use "sign.ML";
 use "sequence.ML";