src/Pure/Syntax/ROOT.ML

     Author:     Tobias Nipkow and Markus Wenzel, TU Muenchen
 
 This file builds the syntax module.
 *)
 
-(*generic modules*)
-use "scan.ML";
-use "source.ML";
-use "symbol.ML";
-use "pretty.ML";
-
-(*actual syntax module*)
 use "lexicon.ML";
 use "token_trans.ML";
 use "ast.ML";
 use "syn_ext.ML";
 use "parser.ML";