TOPLEVELOBJS = xml2Gdome.cmo proofEngineReduction.cmo proofEngine.cmo \
cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \
TOPLEVELOBJS = xml2Gdome.cmo proofEngineReduction.cmo proofEngine.cmo \
cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \