TOPLEVELOBJS = \
xml2Gdome.cmo proofEngine.cmo doubleTypeInference.cmo cic2acic.cmo \
cic2Xml.cmo logicalOperations.cmo sequentPp.cmo mQueryLevels.cmo \
mQueryLevels2.cmo mQueryGenerator.cmo misc.cmo disambiguate.cmo \
TOPLEVELOBJS = \
xml2Gdome.cmo proofEngine.cmo doubleTypeInference.cmo cic2acic.cmo \
cic2Xml.cmo logicalOperations.cmo sequentPp.cmo mQueryLevels.cmo \
mQueryLevels2.cmo mQueryGenerator.cmo misc.cmo disambiguate.cmo \