src/Pure/README
changeset 5020 e0f605038a9f
parent 4941 ac5da3e767b0
child 5833 6d8bceaa07b3
     1.1 --- a/src/Pure/README	Wed Jun 10 11:55:49 1998 +0200
     1.2 +++ b/src/Pure/README	Wed Jun 10 11:56:23 1998 +0200
     1.3 @@ -7,6 +7,7 @@
     1.4  
     1.5    IsaMakefile	compiles the Pure system (use isatool make)
     1.6    ML-Systems/   compatibility files for various ML systems
     1.7 +  General/	general tools
     1.8    Syntax/     	the syntax module
     1.9    Thy/          the theory file parser and loader
    1.10    ./		the actual meta logic implementation (see ROOT.ML)
    1.11 @@ -15,12 +16,12 @@
    1.12  modules:
    1.13  
    1.14    Library	basic library (see library.ML)
    1.15 -  TableFun	efficient tables (see table.ML)
    1.16 -  Seq		unbounded sequences (see seq.ML)
    1.17 +  TableFun	efficient tables (see General/table.ML)
    1.18 +  Seq		unbounded sequences (see General/seq.ML)
    1.19    Pretty	pretty printing module (see Syntax/pretty.ML)
    1.20    Scan		scanner toolbox (see Syntax/scan.ML)
    1.21    Source	co-algebraic data sources (see Syntax/source.ML)
    1.22    Symbol	generalized characters (see Syntax/symbol.ML)
    1.23 -  Path		abstract algebra of file paths (see Thy/path.ML)
    1.24 -  File		file system operations (see Thy/file.ML)
    1.25 -  NameSpace	hierarchically structured name spaces (see name_space.ML)
    1.26 +  Path		abstract algebra of file paths (see General/path.ML)
    1.27 +  File		file system operations (see General/file.ML)
    1.28 +  NameSpace	hierarchically structured name spaces (see General/name_space.ML)