proofEngineHelpers.cmi: proofEngineTypes.cmi
-tacticals.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
proofEngineReduction.cmi
proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
proofEngineReduction.cmi
-tacticals.cmo: proofEngineTypes.cmi tacticals.cmi
-tacticals.cmx: proofEngineTypes.cmx tacticals.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 \