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

[Malcolm Wallace]

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