| Wed, 26 Apr 2006 07:01:33 +0200 | kleing | moved arithmetic series to geometric series in SetInterval | file | diff | annotate |
| Sun, 09 Apr 2006 14:20:23 +0200 | nipkow | Removed old set interval syntax. | file | diff | annotate |
| Sun, 19 Feb 2006 13:21:32 +0100 | kleing | * added Library/ASeries (sum of arithmetic series with instantiation to nat and int) | file | diff | annotate |
| Sun, 12 Feb 2006 10:42:19 +0100 | kleing | * moved ThreeDivides from Isar_examples to better suited HOL/ex | file | diff | annotate |
| 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 |