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 \
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 \