--- a/src/Pure/Thy/ROOT.ML Wed Jun 10 11:51:58 1998 +0200
+++ b/src/Pure/Thy/ROOT.ML Wed Jun 10 11:52:34 1998 +0200
@@ -4,9 +4,6 @@
This file builds the theory parser and autoloading system.
*)
-use "position.ML";
-use "path.ML";
-use "file.ML";
use "use.ML";
use "thy_scan.ML";