helm/software/components/lexicon/.depend.opt

   1 lexiconAstPp.cmi: lexiconAst.cmx
   2 disambiguatePp.cmi: lexiconAst.cmx
   3 lexiconMarshal.cmi: lexiconAst.cmx
   4 cicNotation.cmi: lexiconAst.cmx
   5 lexiconEngine.cmi: lexiconMarshal.cmi lexiconAst.cmx cicNotation.cmi
   6 lexiconSync.cmi: lexiconEngine.cmi
   7 lexiconAstPp.cmo: lexiconAst.cmx lexiconAstPp.cmi
   8 lexiconAstPp.cmx: lexiconAst.cmx lexiconAstPp.cmi
   9 disambiguatePp.cmo: lexiconAstPp.cmi lexiconAst.cmx disambiguatePp.cmi
  10 disambiguatePp.cmx: lexiconAstPp.cmx lexiconAst.cmx disambiguatePp.cmi
  11 lexiconMarshal.cmo: lexiconAstPp.cmi lexiconAst.cmx lexiconMarshal.cmi
  12 lexiconMarshal.cmx: lexiconAstPp.cmx lexiconAst.cmx lexiconMarshal.cmi
  13 cicNotation.cmo: lexiconAst.cmx cicNotation.cmi
  14 cicNotation.cmx: lexiconAst.cmx cicNotation.cmi
  15 lexiconEngine.cmo: lexiconMarshal.cmi lexiconAst.cmx disambiguatePp.cmi \
  16     cicNotation.cmi lexiconEngine.cmi
  17 lexiconEngine.cmx: lexiconMarshal.cmx lexiconAst.cmx disambiguatePp.cmx \
  18     cicNotation.cmx lexiconEngine.cmi
  19 lexiconSync.cmo: lexiconEngine.cmi cicNotation.cmi lexiconSync.cmi
  20 lexiconSync.cmx: lexiconEngine.cmx cicNotation.cmx lexiconSync.cmi