-tacticals.cmo: primitiveTactics.cmi proofEngineTypes.cmo tacticals.cmi
-tacticals.cmx: primitiveTactics.cmx proofEngineTypes.cmx tacticals.cmi
-tacticals.cmi: proofEngineTypes.cmo
+variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
+ proofEngineReduction.cmi proofEngineStructuralRules.cmi \
+ proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \
+ variousTactics.cmi
+variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
+ proofEngineReduction.cmx proofEngineStructuralRules.cmx \
+ proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
+ variousTactics.cmi
+variousTactics.cmi: proofEngineTypes.cmo