[cvs-nhc98] patch applied (hat): Efficiency improvements in hat-delta and pretty-hat

Wed Jan 25 07:48:43 PST 2006 tatd2 * Efficiency improvements in hat-delta and pretty-hat M ./src/hattools/EDT.hs +6 M ./src/hattools/NodeExp.hs -12 +30 M ./src/hattools/Pretty.hs -21 +21 R ./src/hattools/Set.hs