--- a/src/Pure/Thy/ROOT.ML Tue Nov 04 12:44:17 1997 +0100
+++ b/src/Pure/Thy/ROOT.ML Tue Nov 04 12:46:50 1997 +0100
@@ -6,6 +6,8 @@
This file builds the theory parser and autoloading system.
*)
+use "path.ML";
+
use "thy_scan.ML";
use "thy_parse.ML";
use "thy_syn.ML";