author | wenzelm |
Mon, 09 Oct 2017 17:09:08 +0200 | |
changeset 66820 | fc516da7ee4f |
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";