src/Pure/README
author paulson
Tue, 22 Jul 1997 11:14:18 +0200
changeset 3538 ed9de44032e0
parent 3279 815ef5848324
child 4620 bfd40126c56e
permissions -rw-r--r--
Removal of the tactical STATE
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
     1
                        Pure: The Pure Isabelle System
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     2
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     3
This directory contains the ML source files for Pure Isabelle, which is the
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
     4
basis for all object-logics.  Important files include:
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     5
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 19
diff changeset
     6
IsaMakefile -- compiles the files
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     7
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 19
diff changeset
     8
Syntax/     -- the syntax module
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
     9
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 19
diff changeset
    10
Thy/        -- the theory file parser and loader
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    11
3279
815ef5848324 tuned all READMEs;
wenzelm
parents: 19
diff changeset
    12
ML-Systems/ -- compatibility files for various ML systems