author | fleury <Mathias.Fleury@mpi-inf.mpg.de> |
Fri, 29 Jul 2016 08:22:59 +0200 | |
changeset 63560 | 3e3097ac37d1 |
parent 57440 | 802d33c46459 |
child 67102 | 411e49edd905 |
permissions | -rw-r--r-- |
Pure: The Pure Isabelle System This directory contains the ML source files for Pure Isabelle, which is the basis for all object-logics. Building the Isabelle/Pure heap image in batch mode works as for any other session: isabelle build -b Pure To explore the bootstrap of Pure interactively, the raw ML console can be used like this: isabelle console -l RAW use "ROOT.ML";