| 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 |
| Wed, 01 Sep 2004 15:04:01 +0200 | paulson | new "respects" syntax for quotienting | file | diff | annotate |
| Wed, 18 Aug 2004 11:09:40 +0200 | nipkow | import -> imports | file | diff | annotate |