inc → proof Relation

File in proof/proofx/inc	Includes file in proof/proof
TXProofMgr.h	inc / TProofMgr.h
TXProofServ.h	inc / TProofServ.h
TXSlave.h	inc / TSlave.h