logicalOperations.cmo: proofEngine.cmo 
logicalOperations.cmx: proofEngine.cmx 
sequentPp.cmo: cic2Xml.cmo cic2acic.cmo proofEngine.cmo 
sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx 
gTopLevel.cmo: cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \
    xml2Gdome.cmo 
gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx sequentPp.cmx \
    xml2Gdome.cmx