| Thu, 29 Sep 2005 15:31:34 +0200 | nipkow | Added a few lemmas | file | diff | annotate |
| Fri, 26 Aug 2005 10:01:06 +0200 | ballarin | Lemmas on dvd, power and finite summation added or strengthened. | file | diff | annotate |
| Thu, 07 Jul 2005 12:39:17 +0200 | nipkow | linear arithmetic now takes "&" in assumptions apart. | file | diff | annotate |
| Fri, 27 May 2005 16:24:48 +0200 | ballarin | Locale expressions: rename with optional mixfix syntax. | file | diff | annotate |