tactics.cmx: variousTactics.cmx tacticals.cmx substTactic.cmx setoids.cmx \
ring.cmx reductionTactics.cmx proofEngineStructuralRules.cmx \
primitiveTactics.cmx negationTactics.cmx inversion.cmx \
introductionTactics.cmx fwdSimplTactic.cmx fourierR.cmx \
equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmx \
tactics.cmx: variousTactics.cmx tacticals.cmx substTactic.cmx setoids.cmx \
ring.cmx reductionTactics.cmx proofEngineStructuralRules.cmx \
primitiveTactics.cmx negationTactics.cmx inversion.cmx \
introductionTactics.cmx fwdSimplTactic.cmx fourierR.cmx \
equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmx \