matita/components/content/.depend.opt

   1 content.cmi:
   2 cicNotationUtil.cmi: cicNotationPt.cmx
   3 cicNotationEnv.cmi: cicNotationPt.cmx
   4 cicNotationPp.cmi: cicNotationPt.cmx cicNotationEnv.cmi
   5 interpretations.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 interpretations.cmo: cicNotationUtil.cmi cicNotationPt.cmx \
  17     interpretations.cmi
  18 interpretations.cmx: cicNotationUtil.cmx cicNotationPt.cmx \
  19     interpretations.cmi