introductionTactics.cmi
eliminationTactics.cmo: tacticals.cmi proofEngineTypes.cmi \
proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
- primitiveTactics.cmi metadataQuery.cmi eliminationTactics.cmi
+ primitiveTactics.cmi eliminationTactics.cmi
eliminationTactics.cmx: tacticals.cmx proofEngineTypes.cmx \
proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
- primitiveTactics.cmx metadataQuery.cmx eliminationTactics.cmi
+ primitiveTactics.cmx eliminationTactics.cmi
negationTactics.cmo: variousTactics.cmi tacticals.cmi proofEngineTypes.cmi \
primitiveTactics.cmi eliminationTactics.cmi negationTactics.cmi
negationTactics.cmx: variousTactics.cmx tacticals.cmx proofEngineTypes.cmx \
fourier.cmx equalityTactics.cmx fourierR.cmi
fwdSimplTactic.cmo: tacticals.cmi proofEngineTypes.cmi \
proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
- primitiveTactics.cmi metadataQuery.cmi fwdSimplTactic.cmi
+ primitiveTactics.cmi fwdSimplTactic.cmi
fwdSimplTactic.cmx: tacticals.cmx proofEngineTypes.cmx \
proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
- primitiveTactics.cmx metadataQuery.cmx fwdSimplTactic.cmi
+ primitiveTactics.cmx fwdSimplTactic.cmi
history.cmo: history.cmi
history.cmx: history.cmi
statefulProofEngine.cmo: proofEngineTypes.cmi history.cmi \