ring.cmi: proofEngineTypes.cmi
fourierR.cmi: proofEngineTypes.cmi
statefulProofEngine.cmi: proofEngineTypes.cmi
+tactics.cmi: proofEngineTypes.cmi
proofEngineTypes.cmo: proofEngineTypes.cmi
proofEngineTypes.cmx: proofEngineTypes.cmi
proofEngineReduction.cmo: proofEngineReduction.cmi
primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
primitiveTactics.cmi
+hashtbl_equiv.cmo: hashtbl_equiv.cmi
+hashtbl_equiv.cmx: hashtbl_equiv.cmi
metadataQuery.cmo: hashtbl_equiv.cmi primitiveTactics.cmi \
proofEngineTypes.cmi metadataQuery.cmi
metadataQuery.cmx: hashtbl_equiv.cmx primitiveTactics.cmx \
proofEngineTypes.cmi tacticals.cmi variousTactics.cmi
variousTactics.cmx: primitiveTactics.cmx proofEngineReduction.cmx \
proofEngineTypes.cmx tacticals.cmx variousTactics.cmi
-hashtbl_equiv.cmo: hashtbl_equiv.cmi
-hashtbl_equiv.cmx: hashtbl_equiv.cmi
autoTactic.cmo: metadataQuery.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
proofEngineTypes.cmi autoTactic.cmi
autoTactic.cmx: metadataQuery.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
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