1 proofEngineHelpers.cmi: proofEngineTypes.cmo
2 tacticals.cmi: proofEngineTypes.cmo
3 reductionTactics.cmi: proofEngineTypes.cmo
4 proofEngineStructuralRules.cmi: proofEngineTypes.cmo
5 primitiveTactics.cmi: proofEngineTypes.cmo
6 variousTactics.cmi: proofEngineTypes.cmo
7 introductionTactics.cmi: proofEngineTypes.cmo
8 eliminationTactics.cmi: proofEngineTypes.cmo
9 negationTactics.cmi: proofEngineTypes.cmo
10 equalityTactics.cmi: proofEngineTypes.cmo
11 discriminationTactics.cmi: proofEngineTypes.cmo
12 ring.cmi: proofEngineTypes.cmo
13 fourierR.cmi: proofEngineTypes.cmo
14 proofEngineReduction.cmo: proofEngineReduction.cmi
15 proofEngineReduction.cmx: proofEngineReduction.cmi
16 proofEngineHelpers.cmo: proofEngineHelpers.cmi
17 proofEngineHelpers.cmx: proofEngineHelpers.cmi
18 fourier.cmo: fourier.cmi
19 fourier.cmx: fourier.cmi
20 tacticals.cmo: proofEngineTypes.cmo tacticals.cmi
21 tacticals.cmx: proofEngineTypes.cmx tacticals.cmi
22 reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi
23 reductionTactics.cmx: proofEngineReduction.cmx reductionTactics.cmi
24 proofEngineStructuralRules.cmo: proofEngineTypes.cmo \
25 proofEngineStructuralRules.cmi
26 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
27 proofEngineStructuralRules.cmi
28 primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
29 proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \
31 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
32 proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
34 variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \
35 proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \
37 variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \
38 proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \
40 introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \
41 introductionTactics.cmi
42 introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \
43 introductionTactics.cmi
44 eliminationTactics.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
45 tacticals.cmi eliminationTactics.cmi
46 eliminationTactics.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
47 tacticals.cmx eliminationTactics.cmi
48 negationTactics.cmo: eliminationTactics.cmi primitiveTactics.cmi \
49 proofEngineTypes.cmo tacticals.cmi variousTactics.cmi negationTactics.cmi
50 negationTactics.cmx: eliminationTactics.cmx primitiveTactics.cmx \
51 proofEngineTypes.cmx tacticals.cmx variousTactics.cmx negationTactics.cmi
52 equalityTactics.cmo: introductionTactics.cmi primitiveTactics.cmi \
53 proofEngineHelpers.cmi proofEngineReduction.cmi \
54 proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \
55 tacticals.cmi equalityTactics.cmi
56 equalityTactics.cmx: introductionTactics.cmx primitiveTactics.cmx \
57 proofEngineHelpers.cmx proofEngineReduction.cmx \
58 proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \
59 tacticals.cmx equalityTactics.cmi
60 discriminationTactics.cmo: eliminationTactics.cmi equalityTactics.cmi \
61 introductionTactics.cmi primitiveTactics.cmi proofEngineTypes.cmo \
62 tacticals.cmi discriminationTactics.cmi
63 discriminationTactics.cmx: eliminationTactics.cmx equalityTactics.cmx \
64 introductionTactics.cmx primitiveTactics.cmx proofEngineTypes.cmx \
65 tacticals.cmx discriminationTactics.cmi
66 ring.cmo: eliminationTactics.cmi equalityTactics.cmi primitiveTactics.cmi \
67 proofEngineStructuralRules.cmi proofEngineTypes.cmo tacticals.cmi \
69 ring.cmx: eliminationTactics.cmx equalityTactics.cmx primitiveTactics.cmx \
70 proofEngineStructuralRules.cmx proofEngineTypes.cmx tacticals.cmx \
72 fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
73 proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
74 tacticals.cmi fourierR.cmi
75 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
76 proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
77 tacticals.cmx fourierR.cmi