PREDICATES =
INTERFACE_FILES = \
+ librarian.mli \
cicElim.mli \
cicRecord.mli \
libraryMisc.mli \
libraryDb.mli \
coercDb.mli \
cicCoercion.mli \
- coercGraph.mli \
librarySync.mli \
- libraryNoDb.mli \
libraryClean.mli \
$(NULL)
IMPLEMENTATION_FILES = \
+ refinementTool.ml \
$(INTERFACE_FILES:%.mli=%.ml)
include ../../Makefile.defs