src → core Relation

File in proof/proofd/src	Includes file in core
proofd.cxx	base / inc / RConfig.h
proofexecv.cxx	base / inc / Varargs.h
XProofProtUtils.cxx	base / inc / Bytes.h