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