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