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