kleing [Sun, 12 Feb 2006 12:29:01 +0100] rev 19023
* include generalised MVT in HyperReal (contributed by Benjamin Porter)
* add non-denumerability of continuum in Real, includes closed intervals on real
(contributed by Benjamin Porter, #22 in http://www.cs.ru.nl/~freek/100/)