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