src/Pure/General/README
changeset 6135 cf917037cfd4
parent 6116 8ba2f25610f7
child 6179 e40b647fd6d0
     1.1 --- a/src/Pure/General/README	Mon Jan 18 21:08:27 1999 +0100
     1.2 +++ b/src/Pure/General/README	Mon Jan 18 21:09:34 1999 +0100
     1.3 @@ -7,6 +7,8 @@
     1.4  
     1.5    TableFun      (generic tables)
     1.6    Symtab        (tables indexed by strings)
     1.7 +  GraphFun	(generic directed graphs)
     1.8 +  Graph		(graphs indexed by strings)
     1.9    Object        (generic objects of arbitrary type)
    1.10    Seq           (unbounded sequences)
    1.11    NameSpace     (hierarchically structured name spaces)