]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/lexicon/Makefile
INTERFACE_FILES = \
lexiconAstPp.mli \
INTERFACE_FILES = \
lexiconAstPp.mli \
lexiconMarshal.mli \
cicNotation.mli \
lexiconEngine.mli \
lexiconMarshal.mli \
cicNotation.mli \
lexiconEngine.mli \