matita/components/disambiguation/.depend

   1 disambiguate.cmo : \
   2     disambiguateTypes.cmi \
   3     disambiguate.cmi
   4 disambiguate.cmx : \
   5     disambiguateTypes.cmx \
   6     disambiguate.cmi
   7 disambiguate.cmi : \
   8     disambiguateTypes.cmi
   9 disambiguateTypes.cmo : \
  10     disambiguateTypes.cmi
  11 disambiguateTypes.cmx : \
  12     disambiguateTypes.cmi
  13 disambiguateTypes.cmi :
  14 multiPassDisambiguator.cmo : \
  15     disambiguateTypes.cmi \
  16     disambiguate.cmi \
  17     multiPassDisambiguator.cmi
  18 multiPassDisambiguator.cmx : \
  19     disambiguateTypes.cmx \
  20     disambiguate.cmx \
  21     multiPassDisambiguator.cmi
  22 multiPassDisambiguator.cmi : \
  23     disambiguateTypes.cmi \
  24     disambiguate.cmi