-statefulProofEngine.cmo: proofEngineTypes.cmi statefulProofEngine.cmi
-statefulProofEngine.cmx: proofEngineTypes.cmx statefulProofEngine.cmi
+history.cmo: history.cmi
+history.cmx: history.cmi
+statefulProofEngine.cmo: history.cmi proofEngineTypes.cmi \
+ statefulProofEngine.cmi
+statefulProofEngine.cmx: history.cmx proofEngineTypes.cmx \
+ statefulProofEngine.cmi
+tactics.cmo: autoTactic.cmi discriminationTactics.cmi eliminationTactics.cmi \
+ equalityTactics.cmi fourierR.cmi introductionTactics.cmi \
+ negationTactics.cmi primitiveTactics.cmi reductionTactics.cmi ring.cmi \
+ variousTactics.cmi tactics.cmi
+tactics.cmx: autoTactic.cmx discriminationTactics.cmx eliminationTactics.cmx \
+ equalityTactics.cmx fourierR.cmx introductionTactics.cmx \
+ negationTactics.cmx primitiveTactics.cmx reductionTactics.cmx ring.cmx \
+ variousTactics.cmx tactics.cmi