foSubst.cmo : \
    terms.cmi \
    foSubst.cmi
foSubst.cmx : \
    terms.cmx \
    foSubst.cmi
foSubst.cmi : \
    terms.cmi
foUnif.cmo : \
    terms.cmi \
    orderings.cmi \
    foUtils.cmi \
    foSubst.cmi \
    foUnif.cmi
foUnif.cmx : \
    terms.cmx \
    orderings.cmx \
    foUtils.cmx \
    foSubst.cmx \
    foUnif.cmi
foUnif.cmi : \
    terms.cmi \
    orderings.cmi
foUtils.cmo : \
    terms.cmi \
    orderings.cmi \
    foSubst.cmi \
    foUtils.cmi
foUtils.cmx : \
    terms.cmx \
    orderings.cmx \
    foSubst.cmx \
    foUtils.cmi
foUtils.cmi : \
    terms.cmi \
    orderings.cmi
index.cmo : \
    terms.cmi \
    orderings.cmi \
    foUtils.cmi \
    index.cmi
index.cmx : \
    terms.cmx \
    orderings.cmx \
    foUtils.cmx \
    index.cmi
index.cmi : \
    terms.cmi \
    orderings.cmi
nCicBlob.cmo : \
    terms.cmi \
    foUtils.cmi \
    nCicBlob.cmi
nCicBlob.cmx : \
    terms.cmx \
    foUtils.cmx \
    nCicBlob.cmi
nCicBlob.cmi : \
    terms.cmi
nCicParamod.cmo : \
    terms.cmi \
    pp.cmi \
    paramod.cmi \
    orderings.cmi \
    nCicProof.cmi \
    nCicBlob.cmi \
    nCicParamod.cmi
nCicParamod.cmx : \
    terms.cmx \
    pp.cmx \
    paramod.cmx \
    orderings.cmx \
    nCicProof.cmx \
    nCicBlob.cmx \
    nCicParamod.cmi
nCicParamod.cmi : \
    terms.cmi
nCicProof.cmo : \
    terms.cmi \
    pp.cmi \
    nCicBlob.cmi \
    foSubst.cmi \
    nCicProof.cmi
nCicProof.cmx : \
    terms.cmx \
    pp.cmx \
    nCicBlob.cmx \
    foSubst.cmx \
    nCicProof.cmi
nCicProof.cmi : \
    terms.cmi
orderings.cmo : \
    terms.cmi \
    foSubst.cmi \
    orderings.cmi
orderings.cmx : \
    terms.cmx \
    foSubst.cmx \
    orderings.cmi
orderings.cmi : \
    terms.cmi
paramod.cmo : \
    terms.cmi \
    superposition.cmi \
    pp.cmi \
    orderings.cmi \
    index.cmi \
    foUtils.cmi \
    paramod.cmi
paramod.cmx : \
    terms.cmx \
    superposition.cmx \
    pp.cmx \
    orderings.cmx \
    index.cmx \
    foUtils.cmx \
    paramod.cmi
paramod.cmi : \
    terms.cmi \
    orderings.cmi
pp.cmo : \
    terms.cmi \
    pp.cmi
pp.cmx : \
    terms.cmx \
    pp.cmi
pp.cmi : \
    terms.cmi
stats.cmo : \
    terms.cmi \
    stats.cmi
stats.cmx : \
    terms.cmx \
    stats.cmi
stats.cmi : \
    terms.cmi \
    orderings.cmi
superposition.cmo : \
    terms.cmi \
    pp.cmi \
    orderings.cmi \
    index.cmi \
    foUtils.cmi \
    foUnif.cmi \
    foSubst.cmi \
    superposition.cmi
superposition.cmx : \
    terms.cmx \
    pp.cmx \
    orderings.cmx \
    index.cmx \
    foUtils.cmx \
    foUnif.cmx \
    foSubst.cmx \
    superposition.cmi
superposition.cmi : \
    terms.cmi \
    orderings.cmi \
    index.cmi
terms.cmo : \
    terms.cmi
terms.cmx : \
    terms.cmi
terms.cmi :