[cvs-nhc98] Update hat user manual and correct inconsistency in hat-ob

User olaf olaf@sparud.net
Fri, 19 Oct 2001 20:05:01 +0200 (CEST) 

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).