1 cicNotationPres.cmi: mpresentation.cmi box.cmi
2 boxPp.cmi: cicNotationPres.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: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi \
30 box.cmi content2pres.cmi
31 content2pres.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx \
32 box.cmx content2pres.cmi
33 sequent2pres.cmo: mpresentation.cmi cicNotationPres.cmi box.cmi \
35 sequent2pres.cmx: mpresentation.cmx cicNotationPres.cmx box.cmx \