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.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 \