SRC += src/proof/int/intCheck.c \ src/proof/int/intContain.c \ src/proof/int/intCore.c \ src/proof/int/intCtrex.c \ src/proof/int/intDup.c \ src/proof/int/intFrames.c \ src/proof/int/intInter.c \ src/proof/int/intM114.c \ src/proof/int/intMan.c \ src/proof/int/intUtil.c