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
fourierR.cmx: tacticals.cmx ring.cmx reductionTactics.cmx \
proofEngineTypes.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
fourier.cmx equalityTactics.cmx fourierR.cmi
+fwdSimplTactic.cmo: proofEngineTypes.cmi metadataQuery.cmi fwdSimplTactic.cmi
+fwdSimplTactic.cmx: proofEngineTypes.cmx metadataQuery.cmx fwdSimplTactic.cmi
history.cmo: history.cmi
history.cmx: history.cmi
statefulProofEngine.cmo: proofEngineTypes.cmi history.cmi \
statefulProofEngine.cmi
tactics.cmo: variousTactics.cmi ring.cmi reductionTactics.cmi \
primitiveTactics.cmi negationTactics.cmi introductionTactics.cmi \
- fourierR.cmi equalityTactics.cmi eliminationTactics.cmi \
- discriminationTactics.cmi autoTactic.cmi tactics.cmi
+ fwdSimplTactic.cmi fourierR.cmi equalityTactics.cmi \
+ eliminationTactics.cmi discriminationTactics.cmi autoTactic.cmi \
+ tactics.cmi
tactics.cmx: variousTactics.cmx ring.cmx reductionTactics.cmx \
primitiveTactics.cmx negationTactics.cmx introductionTactics.cmx \
- fourierR.cmx equalityTactics.cmx eliminationTactics.cmx \
- discriminationTactics.cmx autoTactic.cmx tactics.cmi
+ fwdSimplTactic.cmx fourierR.cmx equalityTactics.cmx \
+ eliminationTactics.cmx discriminationTactics.cmx autoTactic.cmx \
+ tactics.cmi