paramod.cmo: terms.cmi superposition.cmi pp.cmi orderings.cmi index.cmi \
foUtils.cmi foUnif.cmi paramod.cmi
paramod.cmx: terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \
paramod.cmo: terms.cmi superposition.cmi pp.cmi orderings.cmi index.cmi \
foUtils.cmi foUnif.cmi paramod.cmi
paramod.cmx: terms.cmx superposition.cmx pp.cmx orderings.cmx index.cmx \