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.
 *)
-
-(* FIXME remove (still needed by HOL/Datatype.ML) *)
-use "scan.ML"; use "parse.ML";
-
 
 use "thy_scan.ML";
 use "thy_parse.ML";
 
 structure ThyScan = ThyScanFun(Scanner);