Cross Reference: /hets/Makefile

	Makefile revision 13680
tree 13680:

As.der.hs
Cons.hs
HasCASL2THF0Buildins.hs
Logic_THF.hs
ParseTHF.hs
Print.hs
PrintTHF.hs
ProveIsabelle.hs
ProveLeoII.hs
ProveSatallax.hs
ProverState.hs
SZSProver.hs
Sign.hs
StaticAnalysisTHF.hs
Sublogic.hs
Test/
Translate.hs
Utils.hs