]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/acic_content/Makefile
INTERFACE_FILES = \
content.mli \
INTERFACE_FILES = \
content.mli \
acic2content.mli \
content2cic.mli \
cicNotationUtil.mli \
acic2content.mli \
content2cic.mli \
cicNotationUtil.mli \