matita/components/acic_content/.depend.opt

   1 content.cmi:
   2 cicNotationUtil.cmi: cicNotationPt.cmx
   3 cicNotationEnv.cmi: cicNotationPt.cmx
   4 cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi
   5 termAcicContent.cmi: cicNotationPt.cmx
   6 cicNotationPt.cmo:
   7 cicNotationPt.cmx:
   8 content.cmo: content.cmi
   9 content.cmx: content.cmi
  10 cicNotationUtil.cmo: cicNotationPt.cmx cicNotationUtil.cmi
  11 cicNotationUtil.cmx: cicNotationPt.cmx cicNotationUtil.cmi
  12 cicNotationEnv.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationEnv.cmi
  13 cicNotationEnv.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationEnv.cmi
  14 cicNotationPp.cmo: cicNotationPt.cmx cicNotationEnv.cmi cicNotationPp.cmi
  15 cicNotationPp.cmx: cicNotationPt.cmx cicNotationEnv.cmx cicNotationPp.cmi
  16 termAcicContent.cmo: cicNotationUtil.cmi cicNotationPt.cmx cicNotationPp.cmi \
  17     termAcicContent.cmi
  18 termAcicContent.cmx: cicNotationUtil.cmx cicNotationPt.cmx cicNotationPp.cmx \
  19     termAcicContent.cmi