author wenzelm
Thu Feb 12 14:52:17 1998 +0100 (1998-02-12)
changeset 4620 bfd40126c56e
parent 3279 815ef5848324
child 4689 49d116fdcafa
permissions -rw-r--r--
improved comments;
     1                         Pure: The Pure Isabelle System
     3 This directory contains the ML source files for Pure Isabelle, which
     4 is the basis for all object-logics:
     6   IsaMakefile	compiles the Pure system
     7   ML-Systems/   compatibility files for various ML systems
     8   Syntax/     	the syntax module
     9   Thy/          the theory file parser and loader
    11 Isabelle programmers may want to have a look at the following generic
    12 modules:
    14   Library	basic library (see library.ML)
    15   TableFun	efficient tables (see table.ML)
    16   Seq		unbounded sequences (see seq.ML)
    17   Pretty	pretty printing module (see Syntax/pretty.ML)
    18   Scanner	scanner toolbox (see Syntax/lexicon.ML)
    19   Path		abstract algebra of file paths (see Thy/path.ML)
    20   File		file system operations (see Thy/file.ML)