src/Pure/README
changeset 4941 ac5da3e767b0
parent 4689 49d116fdcafa
child 5020 e0f605038a9f
     1.1 --- a/src/Pure/README	Mon May 18 18:10:04 1998 +0200
     1.2 +++ b/src/Pure/README	Mon May 18 18:10:43 1998 +0200
     1.3 @@ -19,7 +19,8 @@
     1.4    Seq		unbounded sequences (see seq.ML)
     1.5    Pretty	pretty printing module (see Syntax/pretty.ML)
     1.6    Scan		scanner toolbox (see Syntax/scan.ML)
     1.7 -  Symbol	baroque characters (see Syntax/symbol.ML)
     1.8 +  Source	co-algebraic data sources (see Syntax/source.ML)
     1.9 +  Symbol	generalized characters (see Syntax/symbol.ML)
    1.10    Path		abstract algebra of file paths (see Thy/path.ML)
    1.11    File		file system operations (see Thy/file.ML)
    1.12    NameSpace	hierarchically structured name spaces (see name_space.ML)