# HG changeset patch
# User wenzelm
# Date 1113670484 -7200
# Node ID 814eed210b82780ff8b80a9b9c95a2763a775491
# Parent  64eae3513064cb6a2d912ec4bda43b49a20ee715
removed;

diff -r 64eae3513064 -r 814eed210b82 src/Pure/General/README
--- 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)