# HG changeset patch
# User wenzelm
# Date 897472354 -7200
# Node ID 5b0c97631affa576b002224bba4a02d04d1d3d50
# Parent  086b055c4d73ce6efdad1a99d926552c35fae602
moved position.ML, path.ML, file.ML to General;

diff -r 086b055c4d73 -r 5b0c97631aff src/Pure/Thy/ROOT.ML
--- 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";