2016-12-03 06:12:57 +01:00
|
|
|
SRC += src/proof/acec/acecCl.c \
|
|
|
|
|
src/proof/acec/acecCore.c \
|
2016-09-05 22:47:58 +02:00
|
|
|
src/proof/acec/acecCo.c \
|
|
|
|
|
src/proof/acec/acecRe.c \
|
2016-12-03 06:12:57 +01:00
|
|
|
src/proof/acec/acecPa.c \
|
2016-09-05 22:47:58 +02:00
|
|
|
src/proof/acec/acecPo.c \
|
2016-12-03 06:12:57 +01:00
|
|
|
src/proof/acec/acecPool.c \
|
2016-08-05 20:08:12 +02:00
|
|
|
src/proof/acec/acecCover.c \
|
2016-05-08 04:47:02 +02:00
|
|
|
src/proof/acec/acecFadds.c \
|
|
|
|
|
src/proof/acec/acecOrder.c \
|
|
|
|
|
src/proof/acec/acecPolyn.c \
|
2016-10-22 02:50:05 +02:00
|
|
|
src/proof/acec/acecSt.c \
|
2016-05-08 04:47:02 +02:00
|
|
|
src/proof/acec/acecUtil.c
|