]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/library/Makefile
libraryMisc.mli \
libraryDb.mli \
coercDb.mli \
- coercGraph.mli \
librarySync.mli \
+ coercGraph.mli \
+ libraryNoDb.mli \
libraryClean.mli \
$(NULL)
IMPLEMENTATION_FILES = \