| Tue, 19 Dec 2000 15:06:59 +0100 | paulson | more tidying | file | diff | annotate |
| Mon, 18 Dec 2000 12:23:54 +0100 | paulson | tidying and adding new proofs | file | diff | annotate |
| Fri, 15 Dec 2000 17:41:38 +0100 | paulson | further round of tidying | file | diff | annotate |
| Thu, 14 Dec 2000 10:30:45 +0100 | paulson | many new proofs; still needs tidying | file | diff | annotate |
| Wed, 13 Dec 2000 12:46:47 +0100 | paulson | new material, including default simprules that should be introduced earlier | file | diff | annotate |
| Wed, 13 Dec 2000 10:34:31 +0100 | paulson | working proofs up to isCont_has_Ub | file | diff | annotate |
| Tue, 12 Dec 2000 12:01:19 +0100 | paulson | first stage in tidying up Real and Hyperreal. | file | diff | annotate |
| Wed, 06 Dec 2000 12:34:40 +0100 | bauerg | converted rinv and hrinv to inverse; | file | diff | annotate |
| Thu, 21 Sep 2000 12:17:11 +0200 | fleuriot | New theories: construction of hypernaturals, nonstandard extensions, | file | diff | annotate |