[cvs-nhc98] patch applied (hat): A simple impovement of expression printing in hat-tools.

[Malcolm Wallace]

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