matita/components/content/.depend

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