src/Pure/README
author wenzelm
Mon Feb 23 14:50:30 2015 +0100 (2015-02-23)
changeset 59564 fdc03c8daacc
parent 57440 802d33c46459
child 67102 411e49edd905
permissions -rw-r--r--
Goal.prove_multi is superseded by the fully general Goal.prove_common;
wenzelm@4689
     1
wenzelm@19
     2
                        Pure: The Pure Isabelle System
clasohm@0
     3
wenzelm@4689
     4
wenzelm@4620
     5
This directory contains the ML source files for Pure Isabelle, which
wenzelm@57440
     6
is the basis for all object-logics.  Building the Isabelle/Pure heap
wenzelm@57440
     7
image in batch mode works as for any other session:
wenzelm@16115
     8
wenzelm@57440
     9
  isabelle build -b Pure
wenzelm@16115
    10
wenzelm@57440
    11
To explore the bootstrap of Pure interactively, the raw ML console can
wenzelm@57440
    12
be used like this:
clasohm@0
    13
wenzelm@57440
    14
  isabelle console -l RAW
wenzelm@30834
    15
  use "ROOT.ML";
wenzelm@16115
    16