[cvs-nhc98] Cleaned interfaces, mainly renamed some functions to have

[Thorsten Brehm]

thorsten: Fri Nov  2 17:21:05 CET 2001

Update of /usr/src/master/nhc/src/tracer/hat
In directory hinken:/tmp/cvs-serv12652

Modified Files:
	Expressions.c Expressions.h HatTrace.gc Hatdetect.hs 
	Hatobserve.hs Makefile detect.c detect.h hashtable.c 
	hashtable.h hat-checki.c hat-detect.c hat-observe.c hatfile.h 
	hatinterface.c hatinterface.h nodelist.c nodelist.h observe.c 
	observe.h 
Log Message:
Cleaned interfaces, mainly renamed some functions to have more
precise names.
Fixed bug in lazy EDT generation: keep EDT children in correct
outermost-redex-first order.