statefulProofEngine.cmi: proofEngineTypes.cmi
proofEngineTypes.cmo: proofEngineTypes.cmi
proofEngineTypes.cmx: proofEngineTypes.cmi
-proofEngineTypes.cmo: proofEngineTypes.cmi
-proofEngineTypes.cmx: proofEngineTypes.cmi
newConstraints.cmo: newConstraints.cmi
newConstraints.cmx: newConstraints.cmi
match_concl.cmo: newConstraints.cmi match_concl.cmi
primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
primitiveTactics.cmi
+metadataQuery.cmo: metadataQuery.cmi
+metadataQuery.cmx: metadataQuery.cmi
tacticChaser.cmo: filter_auto.cmi match_concl.cmi newConstraints.cmi \
primitiveTactics.cmi proofEngineTypes.cmi tacticChaser.cmi
tacticChaser.cmx: filter_auto.cmx match_concl.cmx newConstraints.cmx \
fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
tacticals.cmx fourierR.cmi
-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