| Wed, 06 Dec 2000 12:34:40 +0100 | bauerg | converted rinv and hrinv to inverse; | file | diff | annotate |
| Fri, 01 Dec 2000 11:02:55 +0100 | paulson | renamed less_eq_Suc_add to less_imp_Suc_add | file | diff | annotate |
| Fri, 13 Oct 2000 08:28:21 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 12 Oct 2000 18:38:23 +0200 | nipkow | *** empty log message *** | file | diff | annotate |
| Thu, 21 Sep 2000 12:17:11 +0200 | fleuriot | New theories: construction of hypernaturals, nonstandard extensions, | file | diff | annotate |