cicNotationPres.cmi: mpresentation.cmi box.cmi 
boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi 
content2pres.cmi: cicNotationPres.cmi 
sequent2pres.cmi: cicNotationPres.cmi 
renderingAttrs.cmo: renderingAttrs.cmi 
renderingAttrs.cmx: renderingAttrs.cmi 
cicNotationLexer.cmo: cicNotationLexer.cmi 
cicNotationLexer.cmx: cicNotationLexer.cmi 
cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi 
cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi 
mpresentation.cmo: mpresentation.cmi 
mpresentation.cmx: mpresentation.cmi 
box.cmo: renderingAttrs.cmi box.cmi 
box.cmx: renderingAttrs.cmx box.cmi 
content2presMatcher.cmo: content2presMatcher.cmi 
content2presMatcher.cmx: content2presMatcher.cmi 
termContentPres.cmo: renderingAttrs.cmi content2presMatcher.cmi \
    termContentPres.cmi 
termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
    termContentPres.cmi 
cicNotationPres.cmo: renderingAttrs.cmi mpresentation.cmi box.cmi \
    cicNotationPres.cmi 
cicNotationPres.cmx: renderingAttrs.cmx mpresentation.cmx box.cmx \
    cicNotationPres.cmi 
boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
    boxPp.cmi 
boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
    boxPp.cmi 
content2pres.cmo: termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
    cicNotationPres.cmi box.cmi content2pres.cmi 
content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
    cicNotationPres.cmx box.cmx content2pres.cmi 
cicClassify.cmo: cicClassify.cmi 
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 \
    acic2Procedural.cmi objPp.cmi 
objPp.cmx: termContentPres.cmx content2pres.cmx cicNotationPres.cmx boxPp.cmx \
    acic2Procedural.cmx objPp.cmi 
sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
    box.cmi sequent2pres.cmi 
sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
    box.cmx sequent2pres.cmi