PACKAGE = library
PREDICATES =

INTERFACE_FILES = \
	librarian.mli \
	cicElim.mli \
	cicRecord.mli \
	libraryMisc.mli \
	libraryDb.mli \
	coercDb.mli \
	cicCoercion.mli \
	librarySync.mli \
	libraryClean.mli \
	$(NULL)
IMPLEMENTATION_FILES = \
	refinementTool.ml \
	$(INTERFACE_FILES:%.mli=%.ml)

include ../../Makefile.defs
include ../Makefile.common