--- a/src/Pure/README Mon May 18 18:10:04 1998 +0200
+++ b/src/Pure/README Mon May 18 18:10:43 1998 +0200
@@ -19,7 +19,8 @@
Seq unbounded sequences (see seq.ML)
Pretty pretty printing module (see Syntax/pretty.ML)
Scan scanner toolbox (see Syntax/scan.ML)
- Symbol baroque characters (see Syntax/symbol.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)