[cvs-nhc98] patch applied (hat): From Mike Dodds: black-hat and hat-nonterm.

[Malcolm Wallace]

Wed May  4 07:10:49 PDT 2005  malcolm
  * From Mike Dodds: black-hat and hat-nonterm.

    A ./src/hattools/BlackHat.hs
    A ./src/hattools/HatNonTerm.hs
    M ./src/hattools/Makefile -10 +22
    A ./src/hattools/NonTermLib.hs
    A ./src/hattools/nontermutils.c
    A ./src/hattools/nontermutils.h