| Thu, 23 Nov 2006 20:34:21 +0100 | wenzelm | prefer antiquotations over LaTeX macros; | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Tue, 02 May 2006 20:42:34 +0200 | wenzelm | actually removed old stuff; | file | diff | annotate |
| 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 |