]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_library/Makefile
PREDICATES =
INTERFACE_FILES = \
PREDICATES =
INTERFACE_FILES = \
+ nCic2OCic.mli \
+ oCic2NCic.mli \
nCicLibrary.mli
IMPLEMENTATION_FILES = \
nCicLibrary.mli
IMPLEMENTATION_FILES = \