matita/components/ng_paramodulation/.depend.opt

   1 foSubst.cmx : terms.cmx foSubst.cmi
   2 foSubst.cmi : terms.cmi
   3 foUnif.cmx : terms.cmx orderings.cmx foUtils.cmx foSubst.cmx foUnif.cmi
   4 foUnif.cmi : terms.cmi orderings.cmi
   5 foUtils.cmx : terms.cmx orderings.cmx foSubst.cmx foUtils.cmi
   6 foUtils.cmi : terms.cmi orderings.cmi
   7 index.cmx : terms.cmx pp.cmx orderings.cmx foUtils.cmx foUnif.cmx index.cmi
   8 index.cmi : terms.cmi orderings.cmi
   9 nCicBlob.cmx : terms.cmx foUtils.cmx nCicBlob.cmi
  10 nCicBlob.cmi : terms.cmi
  11 nCicParamod.cmx : terms.cmx pp.cmx paramod.cmx orderings.cmx nCicProof.cmx \
  12     nCicBlob.cmx nCicParamod.cmi
  13 nCicParamod.cmi : terms.cmi
  14 nCicProof.cmx : terms.cmx pp.cmx nCicBlob.cmx foSubst.cmx nCicProof.cmi
  15 nCicProof.cmi : terms.cmi
  16 orderings.cmx : terms.cmx pp.cmx foSubst.cmx orderings.cmi
  17 orderings.cmi : terms.cmi
  18 paramod.cmx : terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
  19     foUtils.cmx foUnif.cmx paramod.cmi
  20 paramod.cmi : terms.cmi orderings.cmi
  21 pp.cmx : terms.cmx pp.cmi
  22 pp.cmi : terms.cmi
  23 stats.cmx : terms.cmx stats.cmi
  24 stats.cmi : terms.cmi orderings.cmi
  25 superposition.cmx : terms.cmx pp.cmx orderings.cmx index.cmx foUtils.cmx \
  26     foUnif.cmx foSubst.cmx superposition.cmi
  27 superposition.cmi : terms.cmi orderings.cmi index.cmi
  28 terms.cmx : terms.cmi
  29 terms.cmi :