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

18 Jul 2001


      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.

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

thorsten＠sparud.net