matita/components/disambiguation/.depend.opt

   1 disambiguateTypes.cmi:
   2 disambiguate.cmi: disambiguateTypes.cmi
   3 multiPassDisambiguator.cmi: disambiguateTypes.cmi disambiguate.cmi
   4 disambiguateTypes.cmo: disambiguateTypes.cmi
   5 disambiguateTypes.cmx: disambiguateTypes.cmi
   6 disambiguate.cmo: disambiguateTypes.cmi disambiguate.cmi
   7 disambiguate.cmx: disambiguateTypes.cmx disambiguate.cmi
   8 multiPassDisambiguator.cmo: disambiguateTypes.cmi disambiguate.cmi \
   9     multiPassDisambiguator.cmi
  10 multiPassDisambiguator.cmx: disambiguateTypes.cmx disambiguate.cmx \
  11     multiPassDisambiguator.cmi