matita/components/disambiguation/.depend.opt

   1 disambiguate.cmx : \
   2     disambiguateTypes.cmx \
   3     disambiguate.cmi
   4 disambiguate.cmi : \
   5     disambiguateTypes.cmi
   6 disambiguateTypes.cmx : \
   7     disambiguateTypes.cmi
   8 disambiguateTypes.cmi :
   9 multiPassDisambiguator.cmx : \
  10     disambiguateTypes.cmx \
  11     disambiguate.cmx \
  12     multiPassDisambiguator.cmi
  13 multiPassDisambiguator.cmi : \
  14     disambiguateTypes.cmi \
  15     disambiguate.cmi