tactics.cmi: proofEngineTypes.cmi
proofEngineTypes.cmo: proofEngineTypes.cmi
proofEngineTypes.cmx: proofEngineTypes.cmi
-proofEngineReduction.cmo: proofEngineReduction.cmi
-proofEngineReduction.cmx: proofEngineReduction.cmi
+proofEngineReduction.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi
+proofEngineReduction.cmx: proofEngineHelpers.cmx proofEngineReduction.cmi
proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi
proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi
tacticals.cmo: proofEngineTypes.cmi tacticals.cmi