matitaB/components/content_pres/.depend

   1 cicNotationLexer.cmi:
   2 smallLexer.cmi:
   3 cicNotationParser.cmi:
   4 box.cmi:
   5 content2presMatcher.cmi:
   6 termContentPres.cmi: cicNotationParser.cmi
   7 boxPp.cmi: cicNotationPres.cmi
   8 cicNotationPres.cmi: termContentPres.cmi box.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: box.cmi
  16 box.cmx: box.cmi
  17 content2presMatcher.cmo: content2presMatcher.cmi
  18 content2presMatcher.cmx: content2presMatcher.cmi
  19 termContentPres.cmo: content2presMatcher.cmi cicNotationParser.cmi \
  20     termContentPres.cmi
  21 termContentPres.cmx: content2presMatcher.cmx cicNotationParser.cmx \
  22     termContentPres.cmi
  23 boxPp.cmo: box.cmi boxPp.cmi
  24 boxPp.cmx: box.cmx boxPp.cmi
  25 cicNotationPres.cmo: termContentPres.cmi box.cmi cicNotationPres.cmi
  26 cicNotationPres.cmx: termContentPres.cmx box.cmx cicNotationPres.cmi