domMisc.cmx: domMisc.cmi
xml2Gdome.cmo: xml2Gdome.cmi
xml2Gdome.cmx: xml2Gdome.cmi
-sequentPp.cmo: cic2Xml.cmi sequentPp.cmi
-sequentPp.cmx: cic2Xml.cmx sequentPp.cmi
applyTransformation.cmo: xml2Gdome.cmi sequent2pres.cmi domMisc.cmi \
content2pres.cmi applyTransformation.cmi
applyTransformation.cmx: xml2Gdome.cmx sequent2pres.cmx domMisc.cmx \