]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/ocaml/cic_notation/Makefile
$(NULL)
INTERFACE_FILES = \
cicNotationUtil.mli \
$(NULL)
INTERFACE_FILES = \
cicNotationUtil.mli \
cicNotationLexer.mli \
cicNotationEnv.mli \
cicNotationPp.mli \
cicNotationLexer.mli \
cicNotationEnv.mli \
cicNotationPp.mli \