matita/components/ng_paramodulation/.depend.opt

   1 foSubst.cmx : \
   2     terms.cmx \
   3     foSubst.cmi
   4 foSubst.cmi : \
   5     terms.cmi
   6 foUnif.cmx : \
   7     terms.cmx \
   8     orderings.cmx \
   9     foUtils.cmx \
  10     foSubst.cmx \
  11     foUnif.cmi
  12 foUnif.cmi : \
  13     terms.cmi \
  14     orderings.cmi
  15 foUtils.cmx : \
  16     terms.cmx \
  17     orderings.cmx \
  18     foSubst.cmx \
  19     foUtils.cmi
  20 foUtils.cmi : \
  21     terms.cmi \
  22     orderings.cmi
  23 index.cmx : \
  24     terms.cmx \
  25     orderings.cmx \
  26     foUtils.cmx \
  27     index.cmi
  28 index.cmi : \
  29     terms.cmi \
  30     orderings.cmi
  31 nCicBlob.cmx : \
  32     terms.cmx \
  33     foUtils.cmx \
  34     nCicBlob.cmi
  35 nCicBlob.cmi : \
  36     terms.cmi
  37 nCicParamod.cmx : \
  38     terms.cmx \
  39     pp.cmx \
  40     paramod.cmx \
  41     orderings.cmx \
  42     nCicProof.cmx \
  43     nCicBlob.cmx \
  44     nCicParamod.cmi
  45 nCicParamod.cmi : \
  46     terms.cmi
  47 nCicProof.cmx : \
  48     terms.cmx \
  49     pp.cmx \
  50     nCicBlob.cmx \
  51     foSubst.cmx \
  52     nCicProof.cmi
  53 nCicProof.cmi : \
  54     terms.cmi
  55 orderings.cmx : \
  56     terms.cmx \
  57     foSubst.cmx \
  58     orderings.cmi
  59 orderings.cmi : \
  60     terms.cmi
  61 paramod.cmx : \
  62     terms.cmx \
  63     superposition.cmx \
  64     pp.cmx \
  65     orderings.cmx \
  66     index.cmx \
  67     foUtils.cmx \
  68     paramod.cmi
  69 paramod.cmi : \
  70     terms.cmi \
  71     orderings.cmi
  72 pp.cmx : \
  73     terms.cmx \
  74     pp.cmi
  75 pp.cmi : \
  76     terms.cmi
  77 stats.cmx : \
  78     terms.cmx \
  79     stats.cmi
  80 stats.cmi : \
  81     terms.cmi \
  82     orderings.cmi
  83 superposition.cmx : \
  84     terms.cmx \
  85     pp.cmx \
  86     orderings.cmx \
  87     index.cmx \
  88     foUtils.cmx \
  89     foUnif.cmx \
  90     foSubst.cmx \
  91     superposition.cmi
  92 superposition.cmi : \
  93     terms.cmi \
  94     orderings.cmi \
  95     index.cmi
  96 terms.cmx : \
  97     terms.cmi
  98 terms.cmi :