matita/components/content/.depend.opt

   1 content.cmx : \
   2     content.cmi
   3 content.cmi :
   4 notationEnv.cmx : \
   5     notationUtil.cmx \
   6     notationPt.cmx \
   7     notationEnv.cmi
   8 notationEnv.cmi : \
   9     notationPt.cmx
  10 notationPp.cmx : \
  11     notationPt.cmx \
  12     notationEnv.cmx \
  13     notationPp.cmi
  14 notationPp.cmi : \
  15     notationPt.cmx \
  16     notationEnv.cmi
  17 notationPt.cmx :
  18 notationUtil.cmx : \
  19     notationPt.cmx \
  20     notationUtil.cmi
  21 notationUtil.cmi : \
  22     notationPt.cmx