helm/software/components/ng_paramodulation/.depend

   1 pp.cmi: terms.cmi
   2 founif.cmi: terms.cmi
   3 index.cmi: terms.cmi
   4 orderings.cmi: terms.cmi
   5 fosubst.cmi: terms.cmi
   6 nCicBlob.cmi: terms.cmi
   7 cicBlob.cmi: terms.cmi
   8 terms.cmo: terms.cmi
   9 terms.cmx: terms.cmi
  10 pp.cmo: terms.cmi pp.cmi
  11 pp.cmx: terms.cmx pp.cmi
  12 founif.cmo: terms.cmi fosubst.cmi founif.cmi
  13 founif.cmx: terms.cmx fosubst.cmx founif.cmi
  14 index.cmo: terms.cmi index.cmi
  15 index.cmx: terms.cmx index.cmi
  16 orderings.cmo: terms.cmi orderings.cmi
  17 orderings.cmx: terms.cmx orderings.cmi
  18 fosubst.cmo: terms.cmi fosubst.cmi
  19 fosubst.cmx: terms.cmx fosubst.cmi
  20 nCicBlob.cmo: terms.cmi nCicBlob.cmi
  21 nCicBlob.cmx: terms.cmx nCicBlob.cmi
  22 cicBlob.cmo: terms.cmi cicBlob.cmi
  23 cicBlob.cmx: terms.cmx cicBlob.cmi
  24 paramod.cmo: terms.cmi pp.cmi nCicBlob.cmi founif.cmi paramod.cmi
  25 paramod.cmx: terms.cmx pp.cmx nCicBlob.cmx founif.cmx paramod.cmi