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/intM114p.c \
    src/proof/int/intMan.c \
    src/proof/int/intUtil.c
