matitaB/components/content_pres/.depend

   1 cicNotationLexer.cmi:
   2 smallLexer.cmi:
   3 cicNotationParser.cmi:
   4 box.cmi:
   5 termContentPres.cmi: cicNotationParser.cmi
   6 boxPp.cmi: cicNotationPres.cmi
   7 cicNotationPres.cmi: termContentPres.cmi box.cmi
   8 content2presMatcher.cmi:
   9 cicNotationLexer.cmo: cicNotationLexer.cmi
  10 cicNotationLexer.cmx: cicNotationLexer.cmi
  11 smallLexer.cmo: smallLexer.cmi
  12 smallLexer.cmx: smallLexer.cmi
  13 cicNotationParser.cmo: cicNotationLexer.cmi cicNotationParser.cmi
  14 cicNotationParser.cmx: cicNotationLexer.cmx cicNotationParser.cmi
  15 box.cmo: renderingAttrs.cmi box.cmi
  16 box.cmx: renderingAttrs.cmx box.cmi
  17 termContentPres.cmo: renderingAttrs.cmi content2presMatcher.cmi \
  18     cicNotationParser.cmi termContentPres.cmi
  19 termContentPres.cmx: renderingAttrs.cmx content2presMatcher.cmx \
  20     cicNotationParser.cmx termContentPres.cmi
  21 boxPp.cmo: renderingAttrs.cmi box.cmi boxPp.cmi
  22 boxPp.cmx: renderingAttrs.cmx box.cmx boxPp.cmi
  23 cicNotationPres.cmo: termContentPres.cmi box.cmi cicNotationPres.cmi
  24 cicNotationPres.cmx: termContentPres.cmx box.cmx cicNotationPres.cmi
  25 content2presMatcher.cmo: content2presMatcher.cmi
  26 content2presMatcher.cmx: content2presMatcher.cmi