src/Pure/General/ROOT.ML

 (*  Title:      Pure/General/ROOT.ML
     ID:         $Id$
 
-Library of general tools --- prefer this over the 'Standard ML Library'.
+Library of general tools.
 *)
 
 use "stack.ML";
 use "ord_list.ML";
 use "alist.ML";