olaf: Fri Oct 19 20:05:01 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv22160/src/tracer/hat Modified Files: Hatobserve.hs Log Message: Update hat user manual and correct inconsistency in hat-observe (show 10 reductions).