matita/components/ng_disambiguation/.depend

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