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;
     1 
     2                         Pure: The Pure Isabelle System
     3 
     4 
     5 This directory contains the ML source files for Pure Isabelle, which
     6 is the basis for all object-logics.  Building the Isabelle/Pure heap
     7 image in batch mode works as for any other session:
     8 
     9   isabelle build -b Pure
    10 
    11 To explore the bootstrap of Pure interactively, the raw ML console can
    12 be used like this:
    13 
    14   isabelle console -l RAW
    15   use "ROOT.ML";
    16