SRC +=	src/proof/abs/absDup.c \
	src/proof/abs/absGla.c \
	src/proof/abs/absGlaOld.c \
	src/proof/abs/absIter.c \
	src/proof/abs/absOldCex.c \
	src/proof/abs/absOldRef.c \
	src/proof/abs/absOldSat.c \
	src/proof/abs/absOldSim.c \
	src/proof/abs/absOut.c \
	src/proof/abs/absPth.c \
	src/proof/abs/absRef.c \
	src/proof/abs/absRefSelect.c \
	src/proof/abs/absRpm.c \
	src/proof/abs/absRpmOld.c \
	src/proof/abs/absVta.c \
	src/proof/abs/absUtil.c