| Wed, 06 Dec 2000 12:34:40 +0100 | bauerg | converted rinv and hrinv to inverse; | file | diff | annotate |
| Thu, 05 Oct 2000 14:04:56 +0200 | fleuriot | Updated README file for HOL/Real | file | diff | annotate |
| Wed, 27 Sep 2000 19:37:32 +0200 | wenzelm | tuned comment; | file | diff | annotate |
| Thu, 21 Sep 2000 12:17:11 +0200 | fleuriot | New theories: construction of hypernaturals, nonstandard extensions, | file | diff | annotate |