]>
matita.cs.unibo.it Git - helm.git/blobdiff - matita/components/content/Makefile
notationUtil.mli \
notationEnv.mli \
notationPp.mli \
notationUtil.mli \
notationEnv.mli \
notationPp.mli \
$(NULL)
IMPLEMENTATION_FILES = \
notationPt.ml \
$(NULL)
IMPLEMENTATION_FILES = \
notationPt.ml \