| 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 |
| Mon, 23 May 2005 19:39:45 +0200 | nipkow | tuned setsum rewrites | file | diff | annotate |
| Mon, 23 May 2005 11:06:41 +0200 | nipkow | simplifier trace info; Suc-intervals | file | diff | annotate |
| Mon, 02 May 2005 18:59:50 +0200 | nipkow | turned 2 lemmas into simp rules | file | diff | annotate |