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