fourierR.cmi: proofEngineTypes.cmo
proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
proofEngineReduction.cmi proofEngineStructuralRules.cmi \
- proofEngineTypes.cmo ring.cmi tacticals.cmi variousTactics.cmi \
+ proofEngineTypes.cmo reductionTactics.cmi ring.cmi variousTactics.cmi \
proofEngine.cmi
proofEngine.cmx: fourierR.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
proofEngineReduction.cmx proofEngineStructuralRules.cmx \
- proofEngineTypes.cmx ring.cmx tacticals.cmx variousTactics.cmx \
+ proofEngineTypes.cmx reductionTactics.cmx ring.cmx variousTactics.cmx \
proofEngine.cmi
proofEngine.cmi: proofEngineTypes.cmo
doubleTypeInference.cmo: doubleTypeInference.cmi
logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi
sequentPp.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi sequentPp.cmi
sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi
+mQueryLevels.cmo: mQueryLevels.cmi
+mQueryLevels.cmx: mQueryLevels.cmi
mQueryGenerator.cmo: mQueryGenerator.cmi
mQueryGenerator.cmx: mQueryGenerator.cmi
gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \