]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/ng_kernel/Makefile
INTERFACE_FILES = \
nUri.mli \
nReference.mli \
INTERFACE_FILES = \
nUri.mli \
nReference.mli \
oCic2NCic.mli \
nCicEnvironment.mli \
nCicTypeChecker.mli \
oCic2NCic.mli \
nCicEnvironment.mli \
nCicTypeChecker.mli \