src/Pure/README
author wenzelm
Thu, 03 Feb 1994 13:55:42 +0100
changeset 254 b1fcd27fcac4
parent 19 929ad32d63fc
child 3279 815ef5848324
permissions -rw-r--r--
replaced pprint_sg by Sign.pprint_sg; added Syntax.simple_pprint_typ;
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
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     6
Makefile -- compiles the files under Poly/ML or SML of New Jersey
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     7
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
     8
Syntax/  -- subdirectory containing the syntax module
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
     9
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    10
Thy/     -- subdirectory containing the thy file parser and loader
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    11
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    12
ROOT.ML  -- loads all source files.  Enter ML and type:  use "ROOT.ML";
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    13
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    14
NJ.ML    -- compatibility file for Standard ML of New Jersey.  You may wish to
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    15
            alter the parameter settings.
0
a5a9c433f639 Initial revision
clasohm
parents:
diff changeset
    16
19
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    17
POLY.ML  -- compatibility file for Poly/ML
929ad32d63fc Pure/ROOT.ML
wenzelm
parents: 0
diff changeset
    18