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