matita/components/ng_disambiguation/.depend

   1 disambiguateChoices.cmo : \
   2     nnumber_notation.cmi \
   3     disambiguateChoices.cmi
   4 disambiguateChoices.cmx : \
   5     nnumber_notation.cmx \
   6     disambiguateChoices.cmi
   7 disambiguateChoices.cmi :
   8 grafiteDisambiguate.cmo : \
   9     nCicDisambiguate.cmi \
  10     disambiguateChoices.cmi \
  11     grafiteDisambiguate.cmi
  12 grafiteDisambiguate.cmx : \
  13     nCicDisambiguate.cmx \
  14     disambiguateChoices.cmx \
  15     grafiteDisambiguate.cmi
  16 grafiteDisambiguate.cmi :
  17 nCicDisambiguate.cmo : \
  18     nCicDisambiguate.cmi
  19 nCicDisambiguate.cmx : \
  20     nCicDisambiguate.cmi
  21 nCicDisambiguate.cmi :
  22 nnumber_notation.cmo : \
  23     nnumber_notation.cmi
  24 nnumber_notation.cmx : \
  25     nnumber_notation.cmi
  26 nnumber_notation.cmi :