matita/components/disambiguation/.depend

   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