# HG changeset patch
# User wenzelm
# Date 916690174 -3600
# Node ID cf917037cfd462cc97bdab5c0c9948475b0e4e6f
# Parent  ec6092b0599d7f36a322e777646023c372d9781e
GraphFun (generic directed graphs);
Graph (graphs indexed by strings);

diff -r ec6092b0599d -r cf917037cfd4 src/Pure/General/README
--- 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)