matita/components/disambiguation/.depend

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