3 cicNotationParser.cmi :
6 content2presMatcher.cmi :
7 termContentPres.cmi : cicNotationParser.cmi
8 boxPp.cmi : mpresentation.cmi cicNotationPres.cmi box.cmi
9 cicNotationPres.cmi : mpresentation.cmi box.cmi
10 content2pres.cmi : cicNotationPres.cmi
11 sequent2pres.cmi : cicNotationPres.cmi
12 renderingAttrs.cmo : renderingAttrs.cmi
13 renderingAttrs.cmx : renderingAttrs.cmi
14 cicNotationLexer.cmo : cicNotationLexer.cmi
15 cicNotationLexer.cmx : cicNotationLexer.cmi
16 cicNotationParser.cmo : cicNotationLexer.cmi cicNotationParser.cmi
17 cicNotationParser.cmx : cicNotationLexer.cmx cicNotationParser.cmi
18 mpresentation.cmo : mpresentation.cmi
19 mpresentation.cmx : mpresentation.cmi
20 box.cmo : renderingAttrs.cmi box.cmi
21 box.cmx : renderingAttrs.cmx box.cmi
22 content2presMatcher.cmo : content2presMatcher.cmi
23 content2presMatcher.cmx : content2presMatcher.cmi
24 termContentPres.cmo : renderingAttrs.cmi content2presMatcher.cmi \
25 cicNotationParser.cmi termContentPres.cmi
26 termContentPres.cmx : renderingAttrs.cmx content2presMatcher.cmx \
27 cicNotationParser.cmx termContentPres.cmi
28 boxPp.cmo : renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
30 boxPp.cmx : renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
32 cicNotationPres.cmo : renderingAttrs.cmi mpresentation.cmi box.cmi \
34 cicNotationPres.cmx : renderingAttrs.cmx mpresentation.cmx box.cmx \
36 content2pres.cmo : termContentPres.cmi renderingAttrs.cmi mpresentation.cmi \
37 cicNotationPres.cmi box.cmi content2pres.cmi
38 content2pres.cmx : termContentPres.cmx renderingAttrs.cmx mpresentation.cmx \
39 cicNotationPres.cmx box.cmx content2pres.cmi
40 sequent2pres.cmo : termContentPres.cmi mpresentation.cmi cicNotationPres.cmi \
41 box.cmi sequent2pres.cmi
42 sequent2pres.cmx : termContentPres.cmx mpresentation.cmx cicNotationPres.cmx \
43 box.cmx sequent2pres.cmi