primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi
ring.cmx: tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi
-setoids.cmo: proofEngineTypes.cmi primitiveTactics.cmi equalityTactics.cmi \
- setoids.cmi
-setoids.cmx: proofEngineTypes.cmx primitiveTactics.cmx equalityTactics.cmx \
- setoids.cmi
+setoids.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
+ primitiveTactics.cmi equalityTactics.cmi setoids.cmi
+setoids.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
+ primitiveTactics.cmx equalityTactics.cmx setoids.cmi
fourier.cmo: fourier.cmi
fourier.cmx: fourier.cmi
fourierR.cmo: tacticals.cmi ring.cmi reductionTactics.cmi \