fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
tacticals.cmi fourierR.cmi
fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
tacticals.cmi fourierR.cmi