author | wenzelm |
Mon, 18 Jan 1999 21:09:34 +0100 | |
changeset 6135 | cf917037cfd4 |
parent 6134 | ec6092b0599d |
child 6136 | 166b3353aad5 |
--- 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)