]>
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 \
+ cicClassify.mli \
+ proceduralTypes.mli \
+ acic2Procedural.mli \
objPp.mli \
sequent2pres.mli \
$(NULL)
objPp.mli \
sequent2pres.mli \
$(NULL)