+tactics.cmo: autoTactic.cmi discriminationTactics.cmi eliminationTactics.cmi \
+ equalityTactics.cmi fourierR.cmi introductionTactics.cmi \
+ negationTactics.cmi primitiveTactics.cmi reductionTactics.cmi ring.cmi \
+ variousTactics.cmi tactics.cmi
+tactics.cmx: autoTactic.cmx discriminationTactics.cmx eliminationTactics.cmx \
+ equalityTactics.cmx fourierR.cmx introductionTactics.cmx \
+ negationTactics.cmx primitiveTactics.cmx reductionTactics.cmx ring.cmx \
+ variousTactics.cmx tactics.cmi