| 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 |
| Fri, 17 Jun 2005 16:12:49 +0200 | haftmann | migrated theory headers to new format | file | diff | annotate |
| Wed, 04 May 2005 10:42:43 +0200 | nipkow | fixed lin.arith | file | diff | annotate |
| Mon, 21 Feb 2005 19:23:46 +0100 | nipkow | more fine tuniung | file | diff | annotate |
| Tue, 05 Oct 2004 15:30:50 +0200 | paulson | new simprules for abs and for things like a/b<1 | file | diff | annotate |