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

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