helm/software/components/lexicon/.depend

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