author | wenzelm |
Wed, 19 Aug 2015 16:21:10 +0200 | |
changeset 60975 | 5f3d6e16ea78 |
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";