| Wed, 06 Dec 2000 12:34:12 +0100 | bauerg | converted rinv to inverse; | file | diff | annotate |
| Wed, 19 Jul 2000 12:33:19 +0200 | paulson | changed / to // for quotienting; general tidying | file | diff | annotate |
| Sun, 16 Jul 2000 20:55:56 +0200 | wenzelm | use split syntax; | file | diff | annotate |
| Wed, 07 Jun 2000 12:14:18 +0200 | paulson | First round of changes, towards installation of simprocs | file | diff | annotate |
| Mon, 16 Aug 1999 18:41:32 +0200 | paulson | inserted Id: lines | file | diff | annotate |
| Thu, 29 Jul 1999 12:44:57 +0200 | paulson | added parentheses to cope with a possible reduction of the precedence of unary | file | diff | annotate |
| Fri, 23 Jul 1999 17:29:12 +0200 | paulson | heavily revised by Jacques: coercions have alphabetic names; | file | diff | annotate |