discriminationTactics.cmi: proofEngineTypes.cmo
ring.cmi: proofEngineTypes.cmo
fourierR.cmi: proofEngineTypes.cmo
+statefulProofEngine.cmi: proofEngineTypes.cmo
proofEngineReduction.cmo: proofEngineReduction.cmi
proofEngineReduction.cmx: proofEngineReduction.cmi
proofEngineHelpers.cmo: proofEngineHelpers.cmi
fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
tacticals.cmx fourierR.cmi
+statefulProofEngine.cmo: statefulProofEngine.cmi
+statefulProofEngine.cmx: statefulProofEngine.cmi