src/Pure/General/README
changeset 6116 8ba2f25610f7
child 6135 cf917037cfd4
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Pure/General/README	Wed Jan 13 12:44:33 1999 +0100
     1.3 @@ -0,0 +1,20 @@
     1.4 +
     1.5 +                                Pure/General/
     1.6 +
     1.7 +
     1.8 +This directory contains general purpose modules, all of which are
     1.9 +exported.
    1.10 +
    1.11 +  TableFun      (generic tables)
    1.12 +  Symtab        (tables indexed by strings)
    1.13 +  Object        (generic objects of arbitrary type)
    1.14 +  Seq           (unbounded sequences)
    1.15 +  NameSpace     (hierarchically structured name spaces)
    1.16 +  Position      (input positions)
    1.17 +  Path          (abstract algebra of file paths)
    1.18 +  File          (file system operations)
    1.19 +  History       (histories of values, with undo and redo)
    1.20 +  Scan          (generic scanner toolbox)
    1.21 +  Source        (co-algebraic data sources)
    1.22 +  Symbol        (generalized characters)
    1.23 +  Pretty        (generic pretty printing module)