[cvs-nhc98] Added interface to hat-trail. Now, hat-trail and hat-detec

Thorsten Brehm thorsten@sparud.net
Wed, 18 Jul 2001 16:52:50 +0200 (CEST) 

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.