| Mon, 11 Oct 2004 07:42:22 +0200 | nipkow | Proofs needed to be updated because induction now preserves name of | file | diff | annotate |
| Fri, 10 Sep 2004 20:04:14 +0200 | nipkow | Added antisymmetry simproc | file | diff | annotate |
| Fri, 03 Sep 2004 17:10:36 +0200 | obua | Matrix theory, linear programming | file | diff | annotate |
| Tue, 29 Jun 2004 10:07:56 +0200 | obua | support for sparse matrices | file | diff | annotate |