author | immler |
Thu, 15 Nov 2012 17:36:08 +0100 | |
changeset 50091 | b3b5dc2350b7 |
parent 30834 | 1640e0625301 |
child 57440 | 802d33c46459 |
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. The Isabelle/Pure image may be compiled in batch mode like this: isabelle make Pure Developers may want to produce a RAW image that merely consists of the ML compiler with the compatibility setup of ML-Systems/ preloaded: isabelle make RAW Now the Pure session may be compiled interactively as follows: isabelle tty -l RAW use "ROOT.ML";