[cvs-nhc98] A simple impovement of expression printing in hat-tools.

21 Feb 2002

      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.

[cvs-nhc98] A simple impovement of expression printing in hat-tools.

olaf＠sparud.net