matita/components/lexicon/.depend

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