* New theory SupInf of the supremum and infimum operators for sets of
reals.
* New theory Probability, which contains a development of measure
theory, eventually leading to Lebesgue integration and probability.
Larry