src/Pure/README
author blanchet
Fri, 20 Dec 2013 20:36:38 +0100
changeset 54838 16511f84913c
parent 30834 1640e0625301
child 57440 802d33c46459
permissions -rw-r--r--
reconstruct SPASS-Pirate steps of the form 'x ~= C x' (or more complicated)


                        Pure: The Pure Isabelle System


This directory contains the ML source files for Pure Isabelle, which
is the basis for all object-logics.  The Isabelle/Pure image may be
compiled in batch mode like this:

  isabelle make Pure

Developers may want to produce a RAW image that merely consists of the
ML compiler with the compatibility setup of ML-Systems/ preloaded:

  isabelle make RAW

Now the Pure session may be compiled interactively as follows:

  isabelle tty -l RAW
  use "ROOT.ML";