matita/components/ng_disambiguation/.depend.opt

   1 disambiguateChoices.cmx : \
   2     nnumber_notation.cmx \
   3     disambiguateChoices.cmi
   4 disambiguateChoices.cmi :
   5 grafiteDisambiguate.cmx : \
   6     nCicDisambiguate.cmx \
   7     disambiguateChoices.cmx \
   8     grafiteDisambiguate.cmi
   9 grafiteDisambiguate.cmi :
  10 nCicDisambiguate.cmx : \
  11     nCicDisambiguate.cmi
  12 nCicDisambiguate.cmi :
  13 nnumber_notation.cmx : \
  14     nnumber_notation.cmi
  15 nnumber_notation.cmi :