1 proofEngineHelpers.cmo: proofEngineHelpers.cmi
2 proofEngineHelpers.cmx: proofEngineHelpers.cmi
3 proofEngineStructuralRules.cmo: proofEngineTypes.cmo \
4 proofEngineStructuralRules.cmi
5 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
6 proofEngineStructuralRules.cmi
7 proofEngineStructuralRules.cmi: proofEngineTypes.cmo
8 primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmo \
9 proofEngineTypes.cmo primitiveTactics.cmi
10 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
11 proofEngineTypes.cmx primitiveTactics.cmi
12 primitiveTactics.cmi: proofEngineTypes.cmo
13 ring.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
14 proofEngineTypes.cmo ring.cmi
15 ring.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
16 proofEngineTypes.cmx ring.cmi
17 ring.cmi: proofEngineTypes.cmo
18 proofEngine.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
19 proofEngineReduction.cmo proofEngineStructuralRules.cmi \
20 proofEngineTypes.cmo ring.cmi proofEngine.cmi
21 proofEngine.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
22 proofEngineReduction.cmx proofEngineStructuralRules.cmx \
23 proofEngineTypes.cmx ring.cmx proofEngine.cmi
24 proofEngine.cmi: proofEngineTypes.cmo
25 doubleTypeInference.cmo: doubleTypeInference.cmi
26 doubleTypeInference.cmx: doubleTypeInference.cmi
27 cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
28 cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
29 cic2Xml.cmo: cic2acic.cmi
30 cic2Xml.cmx: cic2acic.cmx
31 logicalOperations.cmo: proofEngine.cmi
32 logicalOperations.cmx: proofEngine.cmx
33 sequentPp.cmo: cic2Xml.cmo cic2acic.cmi proofEngine.cmi
34 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx
35 mQueryGenerator.cmo: mQueryGenerator.cmi
36 mQueryGenerator.cmx: mQueryGenerator.cmi
37 gTopLevel.cmo: cic2Xml.cmo cic2acic.cmi logicalOperations.cmo \
38 mQueryGenerator.cmi proofEngine.cmi sequentPp.cmo xml2Gdome.cmo
39 gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx \
40 mQueryGenerator.cmx proofEngine.cmx sequentPp.cmx xml2Gdome.cmx