+autoTactic.cmo: tacticals.cmi paramodulation/saturation.cmi \
+ proofEngineTypes.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
+ metadataQuery.cmi equalityTactics.cmi paramodulation/equality.cmi \
+ autoTactic.cmi
+autoTactic.cmx: tacticals.cmx paramodulation/saturation.cmx \
+ proofEngineTypes.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
+ metadataQuery.cmx equalityTactics.cmx paramodulation/equality.cmx \
+ autoTactic.cmi