| 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 |