-proofEngineHelpers.cmi: proofEngineTypes.cmo
-tacticals.cmi: proofEngineTypes.cmo
-reductionTactics.cmi: proofEngineTypes.cmo
-proofEngineStructuralRules.cmi: proofEngineTypes.cmo
-primitiveTactics.cmi: proofEngineTypes.cmo
-tacticChaser.cmi: proofEngineTypes.cmo
-variousTactics.cmi: proofEngineTypes.cmo
-introductionTactics.cmi: proofEngineTypes.cmo
-eliminationTactics.cmi: proofEngineTypes.cmo
-negationTactics.cmi: proofEngineTypes.cmo
-equalityTactics.cmi: proofEngineTypes.cmo
-discriminationTactics.cmi: proofEngineTypes.cmo
-ring.cmi: proofEngineTypes.cmo
-fourierR.cmi: proofEngineTypes.cmo
+proofEngineHelpers.cmi: proofEngineTypes.cmi
+tacticals.cmi: proofEngineTypes.cmi
+reductionTactics.cmi: proofEngineTypes.cmi
+proofEngineStructuralRules.cmi: proofEngineTypes.cmi
+primitiveTactics.cmi: proofEngineTypes.cmi
+metadataQuery.cmi: proofEngineTypes.cmi
+variousTactics.cmi: proofEngineTypes.cmi
+autoTactic.cmi: proofEngineTypes.cmi
+introductionTactics.cmi: proofEngineTypes.cmi
+eliminationTactics.cmi: proofEngineTypes.cmi
+negationTactics.cmi: proofEngineTypes.cmi
+equalityTactics.cmi: proofEngineTypes.cmi
+discriminationTactics.cmi: proofEngineTypes.cmi
+ring.cmi: proofEngineTypes.cmi
+fourierR.cmi: proofEngineTypes.cmi
+statefulProofEngine.cmi: proofEngineTypes.cmi
+tactics.cmi: proofEngineTypes.cmi
+proofEngineTypes.cmo: proofEngineTypes.cmi
+proofEngineTypes.cmx: proofEngineTypes.cmi