| Mon, 01 Aug 2005 19:20:26 +0200 | wenzelm | simprocs: Simplifier.inherit_bounds; | file | diff | annotate |
| Tue, 19 Jul 2005 17:24:09 +0200 | avigad | added list of theorem changes to NEWS | file | diff | annotate |
| Wed, 13 Jul 2005 19:49:07 +0200 | avigad | Additions to the Real (and Hyperreal) libraries: | file | diff | annotate |