+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