cicPp.cmi cicEnvironment.cmi cicElim.cmi
cicElim.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicReduction.cmx \
cicPp.cmx cicEnvironment.cmx cicElim.cmi
cicPp.cmi cicEnvironment.cmi cicElim.cmi
cicElim.cmx: cicTypeChecker.cmx cicSubstitution.cmx cicReduction.cmx \
cicPp.cmx cicEnvironment.cmx cicElim.cmi