thorsten: Sat Nov 24 16:40:13 CET 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv23841 Modified Files: HatTrie.hs Hatdetect.hs Hatobserve.hs Log Message: Minor modifications to Hatobserve and Hatdetect.