author | wenzelm |
Sat, 26 Mar 2016 13:41:14 +0100 | |
changeset 62713 | c18a68a3a1f1 |
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";