cic2Xml.cmo: cic2Xml.cmi 
cic2Xml.cmx: cic2Xml.cmi 
content2pres.cmo: content2pres.cmi 
content2pres.cmx: content2pres.cmi 
sequent2pres.cmo: sequent2pres.cmi 
sequent2pres.cmx: sequent2pres.cmi 
domMisc.cmo: domMisc.cmi 
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 \
    content2pres.cmx applyTransformation.cmi