opt: gTopLevel.opt
DEPOBJS = xml2Gdome.ml proofEngineReduction.ml proofEngine.ml cic2Xml.ml \
- cic2acic.ml logicalOperations.ml sequentPp.ml mquery.mli mquery.ml \
- gTopLevel.ml
+ cic2acic.ml cic2acic.mli logicalOperations.ml sequentPp.ml \
+ mquery.mli mquery.ml gTopLevel.ml
TOPLEVELOBJS = xml2Gdome.cmo proofEngineReduction.cmo proofEngine.cmo \
cic2Xml.cmo cic2acic.cmo logicalOperations.cmo sequentPp.cmo \