1 cicNotationPres.cmi: mpresentation.cmi box.cmi
2 boxPp.cmi: mpresentation.cmi cicNotationPres.cmi box.cmi
3 content2pres.cmi: cicNotationPres.cmi
4 sequent2pres.cmi: cicNotationPres.cmi
5 renderingAttrs.cmo: renderingAttrs.cmi
6 renderingAttrs.cmx: renderingAttrs.cmi
7 cicNotationLexer.cmo: cicNotationLexer.cmi
8 cicNotationLexer.cmx: cicNotationLexer.cmi
9 cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi
10 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi
11 mpresentation.cmo: mpresentation.cmi
12 mpresentation.cmx: mpresentation.cmi
13 box.cmo: renderingAttrs.cmi box.cmi
14 box.cmx: renderingAttrs.cmx box.cmi
15 content2presMatcher.cmo: content2presMatcher.cmi
16 content2presMatcher.cmx: content2presMatcher.cmi
17 termContentPres.cmo: renderingAttrs.cmi content2presMatcher.cmi \
19 termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
21 cicNotationPres.cmo: renderingAttrs.cmi mpresentation.cmi box.cmi \
23 cicNotationPres.cmx: renderingAttrs.cmx mpresentation.cmx box.cmx \
25 boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
27 boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
29 content2pres.cmo: termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
30 cicNotationPres.cmi box.cmi content2pres.cmi
31 content2pres.cmx: termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
32 cicNotationPres.cmx box.cmx content2pres.cmi
33 sequent2pres.cmo: termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
34 box.cmi sequent2pres.cmi
35 sequent2pres.cmx: termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
36 box.cmx sequent2pres.cmi