--- a/src/Pure/General/README Sat Apr 16 00:17:52 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,25 +0,0 @@
-
- Pure/General/
-
-
-This directory contains general purpose modules, all of which are
-exported.
-
- TableFun (generic tables)
- Symtab (tables indexed by strings)
- GraphFun (generic directed graphs)
- Graph (graphs indexed by strings)
- HeapFun (heaps over linearly ordered types)
- Object (generic objects of arbitrary type)
- Seq (unbounded sequences)
- NameSpace (hierarchically structured name spaces)
- Position (input positions)
- Scan (generic scanner toolbox)
- Source (co-algebraic data sources)
- Symbol (generalized characters)
- Path (abstract algebra of file paths)
- Url (basic URL support)
- File (file system operations)
- Buffer (simple string buffers)
- History (histories of values, with undo and redo)
- Pretty (generic pretty printing module)