src/Pure/Thy/thy_load.ML

   val deps_thy: Path.T -> string ->
    {master: Path.T * File.ident, text: string list, imports: string list, uses: Path.T list}
   val load_ml: Path.T -> Path.T -> Path.T * File.ident
 end;
 
-structure ThyLoad: THY_LOAD =
+structure Thy_Load: THY_LOAD =
 struct
-
 
 (* maintain load path *)
 
 local val load_path = Unsynchronized.ref [Path.current] in
 

     NONE => error ("Could not find ML file " ^ quote (Path.implode raw_path))
   | SOME (path, id) => (ML_Context.eval_file path; (path, id)));
 
 end;
 
-structure Basic_Thy_Load: BASIC_THY_LOAD = ThyLoad;
+structure Basic_Thy_Load: BASIC_THY_LOAD = Thy_Load;
 open Basic_Thy_Load;