src/Pure/General/ROOT.ML

 
 Library of general tools --- prefer this over the 'Standard ML Library'.
 *)
 
 use "ord_list.ML";
+use "alist.ML";
 use "table.ML";
 use "output.ML";
 use "graph.ML";
 use "heap.ML";
 use "scan.ML";