cicNotationPres.cmi box.cmi content2pres.cmi
content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
cicNotationPres.cmx box.cmx content2pres.cmi
-content2Procedural.cmo: content2Procedural.cmi
-content2Procedural.cmx: content2Procedural.cmi
-objPp.cmo: content2pres.cmi content2Procedural.cmi cicNotationPres.cmi \
- boxPp.cmi objPp.cmi
-objPp.cmx: content2pres.cmx content2Procedural.cmx cicNotationPres.cmx \
- boxPp.cmx objPp.cmi
sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
box.cmi sequent2pres.cmi
sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \