src/Pure/README

Streamlined parts of Complex/ex/DenumRat and AFP/Integration/Rats and
distributed them over Real/ (to do with bijections and density).
Library/NatPair became Nat_Int_Bij and made that part of Main.

+
−
+
−                        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:
+
−
+
−  isatool 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:
+
−
+
−  isatool make RAW
+
−
+
−Now the Pure session may be compiled interactively as follows:
+
−
+
−  isabelle -u RAW
+
−
+
−See ROOT.ML for further information.
+
−
+
−
+
−$Id$