matita/components/ng_disambiguation/.depend.opt

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