author | wenzelm |
Thu, 04 May 2017 15:38:24 +0200 | |
changeset 65723 | 3ee466e89047 |
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";