| Thu, 15 Jul 2004 13:11:34 +0200 | nipkow | Moved to new m<..<n syntax for set intervals. | file | diff | annotate |
| Wed, 14 Jul 2004 10:25:21 +0200 | nipkow | ? | file | diff | annotate |
| Tue, 13 Jul 2004 12:32:01 +0200 | nipkow | Got rid of Summation and made it a translation into setsum instead. | file | diff | annotate |