GraphFun (generic directed graphs);
Graph (graphs indexed by strings);

--- a/src/Pure/General/README	Mon Jan 18 21:08:27 1999 +0100
+++ b/src/Pure/General/README	Mon Jan 18 21:09:34 1999 +0100
@@ -7,6 +7,8 @@
 
   TableFun      (generic tables)
   Symtab        (tables indexed by strings)
+  GraphFun	(generic directed graphs)
+  Graph		(graphs indexed by strings)
   Object        (generic objects of arbitrary type)
   Seq           (unbounded sequences)
   NameSpace     (hierarchically structured name spaces)