fourierR.cmi: proofEngineTypes.cmo
proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
proofEngineReduction.cmi proofEngineStructuralRules.cmi \
fourierR.cmi: proofEngineTypes.cmo
proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
proofEngineReduction.cmi proofEngineStructuralRules.cmi \
proofEngine.cmi
proofEngine.cmx: fourierR.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
proofEngineReduction.cmx proofEngineStructuralRules.cmx \
proofEngine.cmi
proofEngine.cmx: fourierR.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
proofEngineReduction.cmx proofEngineStructuralRules.cmx \
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
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
mQueryGenerator.cmo: mQueryGenerator.cmi
mQueryGenerator.cmx: mQueryGenerator.cmi
gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \
mQueryGenerator.cmo: mQueryGenerator.cmi
mQueryGenerator.cmx: mQueryGenerator.cmi
gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \