[cvs-nhc98] patch applied (hat): Added interface to hat-trail. Now, hat-trail and hat-detect maybe

Wed Jul 18 07:52:50 PDT 2001 thorsten * Added interface to hat-trail. Now, hat-trail and hat-detect maybe started on any observed equation/redex. M ./src/hattools/HatObserve.hs -12 +38 M ./src/hattools/Hatobserve.hs -12 +38