cicClassify.cmx: cicClassify.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 \