matita/components/lexicon/.depend

   1 grafiteDisambiguate.cmi:
   2 lexiconSync.cmi: grafiteDisambiguate.cmi
   3 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi
   4 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi
   5 lexiconSync.cmo: grafiteDisambiguate.cmi lexiconSync.cmi
   6 lexiconSync.cmx: grafiteDisambiguate.cmx lexiconSync.cmi