]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/library/Makefile
PREDICATES =
INTERFACE_FILES = \
PREDICATES =
INTERFACE_FILES = \
- cicElim.mli \
- cicRecord.mli \
libraryMisc.mli \
libraryDb.mli \
coercDb.mli \
cicCoercion.mli \
libraryMisc.mli \
libraryDb.mli \
coercDb.mli \
cicCoercion.mli \
+ cicElim.mli \
+ cicRecord.mli \
+ cicFix.mli \
libraryClean.mli \
$(NULL)
IMPLEMENTATION_FILES = \
libraryClean.mli \
$(NULL)
IMPLEMENTATION_FILES = \