cicNotationPres.cmx box.cmx content2pres.cmi
cicClassify.cmo: cicClassify.cmi
cicClassify.cmx: cicClassify.cmi
+proceduralConversion.cmo: proceduralConversion.cmi
+proceduralConversion.cmx: proceduralConversion.cmi
proceduralTypes.cmo: proceduralTypes.cmi
proceduralTypes.cmx: proceduralTypes.cmi
-content2Procedural.cmo: proceduralTypes.cmi cicClassify.cmi \
- content2Procedural.cmi
-content2Procedural.cmx: proceduralTypes.cmx cicClassify.cmx \
- content2Procedural.cmi
acic2Procedural.cmo: proceduralTypes.cmi cicClassify.cmi acic2Procedural.cmi
acic2Procedural.cmx: proceduralTypes.cmx cicClassify.cmx acic2Procedural.cmi
objPp.cmo: termContentPres.cmi content2pres.cmi cicNotationPres.cmi boxPp.cmi \