olaf: Thu Feb 21 18:08:23 CET 2002 Update of /usr/src/master/nhc/src/hat/tools In directory hinken:/tmp/cvs-serv13669/src/hat/tools Modified Files: PrettyExp.hs Log Message: 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.