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