src/Pure/Thy/ROOT.ML

     Author:     Sonia Mahjoub and Tobias Nipkow and
                 Markus Wenzel and Carsten Clasohm, TU Muenchen
 
 This file builds the theory parser and autoloading system.
 *)
+
+use "path.ML";
 
 use "thy_scan.ML";
 use "thy_parse.ML";
 use "thy_syn.ML";