applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi domMisc.cmi \
content2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx domMisc.cmx \
applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi domMisc.cmi \
content2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx domMisc.cmx \