| 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 |