matita/components/lexicon/.depend

   1 grafiteDisambiguate.cmi:
   2 lexiconTypes.cmi: grafiteDisambiguate.cmi
   3 lexiconSync.cmi: lexiconTypes.cmi
   4 grafiteDisambiguate.cmo: grafiteDisambiguate.cmi
   5 grafiteDisambiguate.cmx: grafiteDisambiguate.cmi
   6 lexiconTypes.cmo: grafiteDisambiguate.cmi lexiconTypes.cmi
   7 lexiconTypes.cmx: grafiteDisambiguate.cmx lexiconTypes.cmi
   8 lexiconSync.cmo: lexiconSync.cmi
   9 lexiconSync.cmx: lexiconSync.cmi