src/Pure/ROOT.ML

 (*basic tools*)
 use "library.ML";
 cd "General"; use "ROOT.ML"; cd "..";
 
 (*fundamental structures*)
+use "name.ML";
 use "term.ML";
 use "General/pretty.ML";
 use "sorts.ML";
 use "type.ML";
 use "context.ML";