# HG changeset patch
# User wenzelm
# Date 897472583 -7200
# Node ID e0f605038a9fa63dc31561cad89a0ad768d63767
# Parent  b6363fa0564f6ca831672f3c5a0634f4eda4a725
added General;

diff -r b6363fa0564f -r e0f605038a9f src/Pure/README
--- a/src/Pure/README	Wed Jun 10 11:55:49 1998 +0200
+++ b/src/Pure/README	Wed Jun 10 11:56:23 1998 +0200
@@ -7,6 +7,7 @@
 
   IsaMakefile	compiles the Pure system (use isatool make)
   ML-Systems/   compatibility files for various ML systems
+  General/	general tools
   Syntax/     	the syntax module
   Thy/          the theory file parser and loader
   ./		the actual meta logic implementation (see ROOT.ML)
@@ -15,12 +16,12 @@
 modules:
 
   Library	basic library (see library.ML)
-  TableFun	efficient tables (see table.ML)
-  Seq		unbounded sequences (see seq.ML)
+  TableFun	efficient tables (see General/table.ML)
+  Seq		unbounded sequences (see General/seq.ML)
   Pretty	pretty printing module (see Syntax/pretty.ML)
   Scan		scanner toolbox (see Syntax/scan.ML)
   Source	co-algebraic data sources (see Syntax/source.ML)
   Symbol	generalized characters (see Syntax/symbol.ML)
-  Path		abstract algebra of file paths (see Thy/path.ML)
-  File		file system operations (see Thy/file.ML)
-  NameSpace	hierarchically structured name spaces (see name_space.ML)
+  Path		abstract algebra of file paths (see General/path.ML)
+  File		file system operations (see General/file.ML)
+  NameSpace	hierarchically structured name spaces (see General/name_space.ML)