matita/components/content/.depend.opt

   1 content.cmx : content.cmi
   2 content.cmi :
   3 notationEnv.cmx : notationUtil.cmx notationPt.cmx notationEnv.cmi
   4 notationEnv.cmi : notationPt.cmx
   5 notationPp.cmx : notationPt.cmx notationEnv.cmx notationPp.cmi
   6 notationPp.cmi : notationPt.cmx notationEnv.cmi
   7 notationPt.cmx :
   8 notationUtil.cmx : notationPt.cmx notationUtil.cmi
   9 notationUtil.cmi : notationPt.cmx