Thu Feb 21 09:08:23 PST 2002 olaf * A simple impovement of expression printing in hat-tools. Applications of cuts to cuts are collapsed into a single cut. It's a bit of a hack, because it is done at a latter stage than the cutting off beyond a certain depth. M ./src/hattools/PrettyExp.hs -1 +7