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 proofEngineReduction.cmi proofEngineStructuralRules.cmi \
27 proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \
29 variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
30 proofEngineReduction.cmx proofEngineStructuralRules.cmx \
31 proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
33 variousTactics.cmi: proofEngineTypes.cmo
34 ring.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
35 proofEngineTypes.cmo tacticals.cmi variousTactics.cmi ring.cmi
36 ring.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
37 proofEngineTypes.cmx tacticals.cmx variousTactics.cmx ring.cmi
38 ring.cmi: proofEngineTypes.cmo
39 fourierR.cmo: fourier.cmo primitiveTactics.cmi proofEngineHelpers.cmi \
40 proofEngineTypes.cmo reductionTactics.cmi ring.cmi tacticals.cmi \
41 variousTactics.cmi fourierR.cmi
42 fourierR.cmx: fourier.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
43 proofEngineTypes.cmx reductionTactics.cmx ring.cmx tacticals.cmx \
44 variousTactics.cmx fourierR.cmi
45 fourierR.cmi: proofEngineTypes.cmo
46 proofEngine.cmo: fourierR.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
47 proofEngineReduction.cmi proofEngineStructuralRules.cmi \
48 proofEngineTypes.cmo reductionTactics.cmi ring.cmi variousTactics.cmi \
50 proofEngine.cmx: fourierR.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
51 proofEngineReduction.cmx proofEngineStructuralRules.cmx \
52 proofEngineTypes.cmx reductionTactics.cmx ring.cmx variousTactics.cmx \
54 proofEngine.cmi: proofEngineTypes.cmo
55 doubleTypeInference.cmo: doubleTypeInference.cmi
56 doubleTypeInference.cmx: doubleTypeInference.cmi
57 cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi
58 cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi
59 cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi
60 cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi
61 cic2Xml.cmi: cic2acic.cmi
62 logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi
63 logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi
64 sequentPp.cmo: cic2Xml.cmi cic2acic.cmi proofEngine.cmi sequentPp.cmi
65 sequentPp.cmx: cic2Xml.cmx cic2acic.cmx proofEngine.cmx sequentPp.cmi
66 mQueryLevels.cmo: mQueryLevels.cmi
67 mQueryLevels.cmx: mQueryLevels.cmi
68 mQueryLevels2.cmi: mQueryGenerator.cmi
69 mQueryLevels2.cmo: mQueryLevels2.cmi
70 mQueryLevels2.cmx: mQueryLevels2.cmi
71 mQueryGenerator.cmo: mQueryGenerator.cmi
72 mQueryGenerator.cmx: mQueryGenerator.cmi
73 gTopLevel.cmo: cic2Xml.cmi cic2acic.cmi logicalOperations.cmi \
74 mQueryGenerator.cmi mQueryLevels.cmi mQueryLevels2.cmi proofEngine.cmi \
75 sequentPp.cmi xml2Gdome.cmi
76 gTopLevel.cmx: cic2Xml.cmx cic2acic.cmx logicalOperations.cmx \
77 mQueryGenerator.cmx mQueryLevels.cmx mQueryLevels2.cmx proofEngine.cmx \
78 sequentPp.cmx xml2Gdome.cmx