| Thu, 15 Jul 2004 15:32:32 +0200 | paulson | redefining sumr to be a translation to setsum | file | diff | annotate |
| 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:03 +0200 | nipkow | added {0::nat..n(} = {..n(} | file | diff | annotate |