-filter_auto.cmi: newConstraints.cmi
-proofEngineHelpers.cmi: proofEngineTypes.cmo
-tacticals.cmi: proofEngineTypes.cmo
-reductionTactics.cmi: proofEngineTypes.cmo
-proofEngineStructuralRules.cmi: proofEngineTypes.cmo
-primitiveTactics.cmi: proofEngineTypes.cmo
-tacticChaser.cmi: proofEngineTypes.cmo
-variousTactics.cmi: proofEngineTypes.cmo
-introductionTactics.cmi: proofEngineTypes.cmo
-eliminationTactics.cmi: proofEngineTypes.cmo
-negationTactics.cmi: proofEngineTypes.cmo
-equalityTactics.cmi: proofEngineTypes.cmo
-discriminationTactics.cmi: proofEngineTypes.cmo
-ring.cmi: proofEngineTypes.cmo
-fourierR.cmi: proofEngineTypes.cmo
-statefulProofEngine.cmi: proofEngineTypes.cmo
-newConstraints.cmo: newConstraints.cmi
-newConstraints.cmx: newConstraints.cmi
-match_concl.cmo: newConstraints.cmi match_concl.cmi
-match_concl.cmx: newConstraints.cmx match_concl.cmi
-filter_auto.cmo: newConstraints.cmi filter_auto.cmi
-filter_auto.cmx: newConstraints.cmx filter_auto.cmi
-proofEngineReduction.cmo: proofEngineReduction.cmi
-proofEngineReduction.cmx: proofEngineReduction.cmi
-proofEngineHelpers.cmo: proofEngineHelpers.cmi
-proofEngineHelpers.cmx: proofEngineHelpers.cmi
-newConstraints.cmo: newConstraints.cmi
-newConstraints.cmx: newConstraints.cmi
-match_concl.cmo: newConstraints.cmi match_concl.cmi
-match_concl.cmx: newConstraints.cmx match_concl.cmi
-tacticals.cmo: proofEngineTypes.cmo tacticals.cmi
-tacticals.cmx: proofEngineTypes.cmx tacticals.cmi
-reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi
-reductionTactics.cmx: proofEngineReduction.cmx reductionTactics.cmi
-proofEngineStructuralRules.cmo: proofEngineTypes.cmo \
+proofEngineHelpers.cmi: proofEngineTypes.cmi
+continuationals.cmi: proofEngineTypes.cmi
+tacticals.cmi: proofEngineTypes.cmi continuationals.cmi
+reductionTactics.cmi: proofEngineTypes.cmi
+proofEngineStructuralRules.cmi: proofEngineTypes.cmi
+primitiveTactics.cmi: proofEngineTypes.cmi
+metadataQuery.cmi: proofEngineTypes.cmi
+variousTactics.cmi: proofEngineTypes.cmi
+autoTactic.cmi: proofEngineTypes.cmi
+introductionTactics.cmi: proofEngineTypes.cmi
+eliminationTactics.cmi: proofEngineTypes.cmi
+negationTactics.cmi: proofEngineTypes.cmi
+equalityTactics.cmi: proofEngineTypes.cmi
+discriminationTactics.cmi: proofEngineTypes.cmi
+ring.cmi: proofEngineTypes.cmi
+fourierR.cmi: proofEngineTypes.cmi
+fwdSimplTactic.cmi: proofEngineTypes.cmi
+statefulProofEngine.cmi: proofEngineTypes.cmi
+tactics.cmi: proofEngineTypes.cmi
+proofEngineTypes.cmo: proofEngineTypes.cmi
+proofEngineTypes.cmx: proofEngineTypes.cmi
+proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi
+proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi
+proofEngineReduction.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi \
+ proofEngineReduction.cmi
+proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
+ proofEngineReduction.cmi
+continuationals.cmo: proofEngineTypes.cmi continuationals.cmi
+continuationals.cmx: proofEngineTypes.cmx continuationals.cmi
+tacticals.cmo: proofEngineTypes.cmi continuationals.cmi tacticals.cmi
+tacticals.cmx: proofEngineTypes.cmx continuationals.cmx tacticals.cmi
+reductionTactics.cmo: proofEngineTypes.cmi proofEngineReduction.cmi \
+ proofEngineHelpers.cmi reductionTactics.cmi
+reductionTactics.cmx: proofEngineTypes.cmx proofEngineReduction.cmx \
+ proofEngineHelpers.cmx reductionTactics.cmi
+proofEngineStructuralRules.cmo: proofEngineTypes.cmi \