| SRC += src/proof/acec/acecCl.c \ | |
| src/proof/acec/acecCore.c \ | |
| src/proof/acec/acecCo.c \ | |
| src/proof/acec/acecBo.c \ | |
| src/proof/acec/acecRe.c \ | |
| src/proof/acec/acecPa.c \ | |
| src/proof/acec/acecPo.c \ | |
| src/proof/acec/acecPool.c \ | |
| src/proof/acec/acecCover.c \ | |
| src/proof/acec/acecFadds.c \ | |
| src/proof/acec/acecMult.c \ | |
| src/proof/acec/acecNorm.c \ | |
| src/proof/acec/acecOrder.c \ | |
| src/proof/acec/acecPolyn.c \ | |
| src/proof/acec/acecSt.c \ | |
| src/proof/acec/acecTree.c \ | |
| src/proof/acec/acecUtil.c \ | |
| src/proof/acec/acec2Mult.c \ | |
| src/proof/acec/acecXor.c |