Cross Reference: /hets/Makefile

	Makefile revision 10656
tree 10656:

AbstractState.hs
Automatic.hs
BatchProcessing.hs
Composition.hs
ComputeColimit.hs
EdgeUtils.hs
Global.hs
HideTheoremShift.hs
InferBasic.hs
Local.hs
SimpleTheoremHideShift.hs
StatusUtils.hs
TheoremHideShift.hs