thorsten: Wed Jul 18 16:52:50 CEST 2001 Update of /usr/src/master/nhc/src/tracer/hat In directory hinken:/tmp/cvs-serv14308 Modified Files: Hatobserve.hs Log Message: Added interface to hat-trail. Now, hat-trail and hat-detect maybe started on any observed equation/redex.