applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi mpresentation.cmi \
misc.cmi content2pres.cmi box.cmi ast2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx mpresentation.cmx \
applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi mpresentation.cmi \
misc.cmi content2pres.cmi box.cmi ast2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx mpresentation.cmx \