]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/components/content_pres/Makefile
cicNotationPres.mli \
boxPp.mli \
content2pres.mli \
cicNotationPres.mli \
boxPp.mli \
content2pres.mli \
sequent2pres.mli \
$(NULL)
IMPLEMENTATION_FILES = \
sequent2pres.mli \
$(NULL)
IMPLEMENTATION_FILES = \