components/content_pres/.depend.opt

   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 \
  18     termContentPres.cmi
  19 termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
  20     termContentPres.cmi
  21 cicNotationPres.cmo: renderingAttrs.cmi mpresentation.cmi box.cmi \
  22     cicNotationPres.cmi
  23 cicNotationPres.cmx: renderingAttrs.cmx mpresentation.cmx box.cmx \
  24     cicNotationPres.cmi
  25 boxPp.cmo: renderingAttrs.cmi mpresentation.cmi cicNotationPres.cmi box.cmi \
  26     boxPp.cmi
  27 boxPp.cmx: renderingAttrs.cmx mpresentation.cmx cicNotationPres.cmx box.cmx \
  28     boxPp.cmi
  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