1 xml2Gdome.cmo: xml2Gdome.cmi
2 xml2Gdome.cmx: xml2Gdome.cmi
3 proofEngineHelpers.cmo: proofEngineHelpers.cmi
4 proofEngineHelpers.cmx: proofEngineHelpers.cmi
5 proofEngineReduction.cmo: proofEngineReduction.cmi
6 proofEngineReduction.cmx: proofEngineReduction.cmi
7 proofEngineStructuralRules.cmo: proofEngineTypes.cmo \
8 proofEngineStructuralRules.cmi
9 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
10 proofEngineStructuralRules.cmi
11 proofEngineStructuralRules.cmi: proofEngineTypes.cmo
12 tacticals.cmo: proofEngineTypes.cmo tacticals.cmi
13 tacticals.cmx: proofEngineTypes.cmx tacticals.cmi
14 tacticals.cmi: proofEngineTypes.cmo
15 reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi
16 reductionTactics.cmx: proofEngineReduction.cmx reductionTactics.cmi
17 reductionTactics.cmi: proofEngineTypes.cmo
18 primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
19 proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \
21 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
22 proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
24 primitiveTactics.cmi: proofEngineTypes.cmo
25 ring.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
26 proofEngineTypes.cmo tacticals.cmi ring.cmi
27 ring.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
28 proofEngineTypes.cmx tacticals.cmx ring.cmi
29 ring.cmi: proofEngineTypes.cmo
30 fourierR.cmo: fourier.cmo primitiveTactics.cmi proofEngineHelpers.cmi \
31 proofEngineReduction.cmi proofEngineTypes.cmo ring.cmi tacticals.cmi \
33 fourierR.cmx: fourier.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
34 proofEngineReduction.cmx proofEngineTypes.cmx ring.cmx tacticals.cmx \
36 fourierR.cmi: proofEngineTypes.cmo
37 proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
38 proofEngineReduction.cmi proofEngineStructuralRules.cmi \
39 proofEngineTypes.cmo ring.cmi proofEngine.cmi
40 proofEngine.cmx: fourierR.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
41 proofEngineReduction.cmx proofEngineStructuralRules.cmx \
42 proofEngineTypes.cmx ring.cmx proofEngine.cmi
43 proofEngine.cmi: proofEngineTypes.cmo
44 doubleTypeInference.cmo: doubleTypeInference.cmi
45 doubleTypeInference.cmx: doubleTypeInference.cmi
46 cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
47 cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
48 cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi
49 cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi
50 cic2Xml.cmi: cic2acic.cmi
51 logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi
52 logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi
53 sequentPp.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi sequentPp.cmi
54 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi
55 mQueryGenerator.cmo: mQueryGenerator.cmi
56 mQueryGenerator.cmx: mQueryGenerator.cmi
57 gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \
58 mQueryGenerator.cmi proofEngine.cmi sequentPp.cmi xml2Gdome.cmi
59 gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx \
60 mQueryGenerator.cmx proofEngine.cmx sequentPp.cmx xml2Gdome.cmx