matitaB/components/content/.depend

   1 notationUtil.cmi: notationPt.cmo
   2 notationEnv.cmi: notationPt.cmo
   3 notationPp.cmi: notationPt.cmo notationEnv.cmi
   4 notationPt.cmo:
   5 notationPt.cmx:
   6 notationUtil.cmo: notationPt.cmo notationUtil.cmi
   7 notationUtil.cmx: notationPt.cmx notationUtil.cmi
   8 notationEnv.cmo: notationUtil.cmi notationPt.cmo notationEnv.cmi
   9 notationEnv.cmx: notationUtil.cmx notationPt.cmx notationEnv.cmi
  10 notationPp.cmo: notationUtil.cmi notationPt.cmo notationEnv.cmi \
  11     notationPp.cmi
  12 notationPp.cmx: notationUtil.cmx notationPt.cmx notationEnv.cmx \
  13     notationPp.cmi