src/Pure/General/ROOT.ML

 use "name_space.ML";
 use "position.ML";
 use "path.ML";
 use "file.ML";
 use "history.ML";
+use "scan.ML";
+use "source.ML";
+use "symbol.ML";
+use "pretty.ML";
 
 structure PureGeneral =
 struct
   structure Symtab = Symtab;
   structure Object = Object;

   structure NameSpace = NameSpace;
   structure Position = Position;
   structure Path = Path;
   structure File = File;
   structure History = History;
+  structure Scan = Scan;
+  structure Source = Source;
+  structure Symbol = Symbol;
+  structure Pretty = Pretty;
 end;