+DEPOBJS = xml2Gdome.ml xml2Gdome.mli proofEngineTypes.ml proofEngineHelpers.ml \
+ proofEngineReduction.ml proofEngineReduction.mli \
+ proofEngineStructuralRules.ml proofEngineStructuralRules.mli \
+ primitiveTactics.ml primitiveTactics.mli tacticals.ml tacticals.mli \
+ ring.ml ring.mli fourier.ml fourierR.ml fourierR.mli\
+ proofEngine.ml proofEngine.mli \