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

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