| Fri, 27 Aug 1999 15:42:10 +0200 | paulson | tidied, allowing pattern-matching in defs of zadd and zmult | 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 |
| Thu, 01 Oct 1998 18:27:17 +0200 | paulson | much tidying | file | diff | annotate |