-cicClassify.cmo: cicClassify.cmi
-cicClassify.cmx: cicClassify.cmi
-proceduralTypes.cmo: proceduralTypes.cmi
-proceduralTypes.cmx: proceduralTypes.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 \
- acic2Procedural.cmi objPp.cmi
-objPp.cmx: termContentPres.cmx content2pres.cmx cicNotationPres.cmx boxPp.cmx \
- acic2Procedural.cmx objPp.cmi