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 variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
26 proofEngineTypes.cmo tacticals.cmi variousTactics.cmi
27 variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
28 proofEngineTypes.cmx tacticals.cmx variousTactics.cmi
29 variousTactics.cmi: proofEngineTypes.cmo
30 introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \
31 introductionTactics.cmi
32 introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \
33 introductionTactics.cmi
34 introductionTactics.cmi: proofEngineTypes.cmo
35 eliminationTactics.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
36 proofEngineTypes.cmo tacticals.cmi eliminationTactics.cmi
37 eliminationTactics.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
38 proofEngineTypes.cmx tacticals.cmx eliminationTactics.cmi
39 eliminationTactics.cmi: proofEngineTypes.cmo
40 negationTactics.cmo: eliminationTactics.cmi primitiveTactics.cmi \
41 proofEngineTypes.cmo tacticals.cmi variousTactics.cmi negationTactics.cmi
42 negationTactics.cmx: eliminationTactics.cmx primitiveTactics.cmx \
43 proofEngineTypes.cmx tacticals.cmx variousTactics.cmx negationTactics.cmi
44 negationTactics.cmi: proofEngineTypes.cmo
45 equalityTactics.cmo: introductionTactics.cmi primitiveTactics.cmi \
46 proofEngineHelpers.cmi proofEngineReduction.cmi \
47 proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \
48 tacticals.cmi equalityTactics.cmi
49 equalityTactics.cmx: introductionTactics.cmx primitiveTactics.cmx \
50 proofEngineHelpers.cmx proofEngineReduction.cmx \
51 proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \
52 tacticals.cmx equalityTactics.cmi
53 equalityTactics.cmi: proofEngineTypes.cmo
54 ring.cmo: eliminationTactics.cmi equalityTactics.cmi primitiveTactics.cmi \
55 proofEngineStructuralRules.cmi proofEngineTypes.cmo tacticals.cmi \
57 ring.cmx: eliminationTactics.cmx equalityTactics.cmx primitiveTactics.cmx \
58 proofEngineStructuralRules.cmx proofEngineTypes.cmx tacticals.cmx \
60 ring.cmi: proofEngineTypes.cmo
61 fourierR.cmo: equalityTactics.cmi fourier.cmo primitiveTactics.cmi \
62 proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
63 tacticals.cmi fourierR.cmi
64 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
65 proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
66 tacticals.cmx fourierR.cmi
67 fourierR.cmi: proofEngineTypes.cmo
68 proofEngine.cmo: eliminationTactics.cmi equalityTactics.cmi fourierR.cmi \
69 introductionTactics.cmi negationTactics.cmi primitiveTactics.cmi \
70 proofEngineHelpers.cmi proofEngineReduction.cmi \
71 proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \
72 ring.cmi variousTactics.cmi proofEngine.cmi
73 proofEngine.cmx: eliminationTactics.cmx equalityTactics.cmx fourierR.cmx \
74 introductionTactics.cmx negationTactics.cmx primitiveTactics.cmx \
75 proofEngineHelpers.cmx proofEngineReduction.cmx \
76 proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \
77 ring.cmx variousTactics.cmx proofEngine.cmi
78 proofEngine.cmi: proofEngineTypes.cmo
79 doubleTypeInference.cmo: doubleTypeInference.cmi
80 doubleTypeInference.cmx: doubleTypeInference.cmi
81 cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
82 cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
83 cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi
84 cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi
85 cic2Xml.cmi: cic2acic.cmi
86 logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi
87 logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi
88 sequentPp.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi sequentPp.cmi
89 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi
90 mQueryLevels.cmo: mQueryLevels.cmi
91 mQueryLevels.cmx: mQueryLevels.cmi
92 mQueryLevels2.cmi: mQueryGenerator.cmi
93 mQueryLevels2.cmo: mQueryLevels2.cmi
94 mQueryLevels2.cmx: mQueryLevels2.cmi
95 mQueryGenerator.cmo: mQueryGenerator.cmi
96 mQueryGenerator.cmx: mQueryGenerator.cmi
97 gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \
98 mQueryGenerator.cmi mQueryLevels.cmi mQueryLevels2.cmi proofEngine.cmi \
99 sequentPp.cmi xml2Gdome.cmi
100 gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx \
101 mQueryGenerator.cmx mQueryLevels.cmx mQueryLevels2.cmx proofEngine.cmx \
102 sequentPp.cmx xml2Gdome.cmx