1 filter_auto.cmi: newConstraints.cmi
2 proofEngineHelpers.cmi: proofEngineTypes.cmo
3 tacticals.cmi: proofEngineTypes.cmo
4 reductionTactics.cmi: proofEngineTypes.cmo
5 proofEngineStructuralRules.cmi: proofEngineTypes.cmo
6 primitiveTactics.cmi: proofEngineTypes.cmo
7 tacticChaser.cmi: proofEngineTypes.cmo
8 variousTactics.cmi: proofEngineTypes.cmo
9 introductionTactics.cmi: proofEngineTypes.cmo
10 eliminationTactics.cmi: proofEngineTypes.cmo
11 negationTactics.cmi: proofEngineTypes.cmo
12 equalityTactics.cmi: proofEngineTypes.cmo
13 discriminationTactics.cmi: proofEngineTypes.cmo
14 ring.cmi: proofEngineTypes.cmo
15 fourierR.cmi: proofEngineTypes.cmo
16 statefulProofEngine.cmi: proofEngineTypes.cmo
17 newConstraints.cmo: newConstraints.cmi
18 newConstraints.cmx: newConstraints.cmi
19 match_concl.cmo: newConstraints.cmi match_concl.cmi
20 match_concl.cmx: newConstraints.cmx match_concl.cmi
21 filter_auto.cmo: newConstraints.cmi filter_auto.cmi
22 filter_auto.cmx: newConstraints.cmx filter_auto.cmi
23 proofEngineReduction.cmo: proofEngineReduction.cmi
24 proofEngineReduction.cmx: proofEngineReduction.cmi
25 proofEngineHelpers.cmo: proofEngineHelpers.cmi
26 proofEngineHelpers.cmx: proofEngineHelpers.cmi
27 newConstraints.cmo: newConstraints.cmi
28 newConstraints.cmx: newConstraints.cmi
29 match_concl.cmo: newConstraints.cmi match_concl.cmi
30 match_concl.cmx: newConstraints.cmx match_concl.cmi
31 tacticals.cmo: proofEngineTypes.cmo tacticals.cmi
32 tacticals.cmx: proofEngineTypes.cmx tacticals.cmi
33 reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi
34 reductionTactics.cmx: proofEngineReduction.cmx reductionTactics.cmi
35 proofEngineStructuralRules.cmo: proofEngineTypes.cmo \
36 proofEngineStructuralRules.cmi
37 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
38 proofEngineStructuralRules.cmi
39 primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \
40 proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \
42 primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \
43 proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \
45 tacticChaser.cmo: filter_auto.cmi match_concl.cmi newConstraints.cmi \
46 primitiveTactics.cmi proofEngineTypes.cmo tacticChaser.cmi
47 tacticChaser.cmx: filter_auto.cmx match_concl.cmx newConstraints.cmx \
48 primitiveTactics.cmx proofEngineTypes.cmx tacticChaser.cmi
49 variousTactics.cmo: primitiveTactics.cmi proofEngineReduction.cmi \
50 proofEngineTypes.cmo tacticChaser.cmi tacticals.cmi variousTactics.cmi
51 variousTactics.cmx: primitiveTactics.cmx proofEngineReduction.cmx \
52 proofEngineTypes.cmx tacticChaser.cmx tacticals.cmx variousTactics.cmi
53 introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \
54 introductionTactics.cmi
55 introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \
56 introductionTactics.cmi
57 eliminationTactics.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \
58 tacticals.cmi eliminationTactics.cmi
59 eliminationTactics.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \
60 tacticals.cmx eliminationTactics.cmi
61 negationTactics.cmo: eliminationTactics.cmi primitiveTactics.cmi \
62 proofEngineTypes.cmo tacticals.cmi variousTactics.cmi negationTactics.cmi
63 negationTactics.cmx: eliminationTactics.cmx primitiveTactics.cmx \
64 proofEngineTypes.cmx tacticals.cmx variousTactics.cmx negationTactics.cmi
65 equalityTactics.cmo: introductionTactics.cmi primitiveTactics.cmi \
66 proofEngineHelpers.cmi proofEngineReduction.cmi \
67 proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \
68 tacticals.cmi equalityTactics.cmi
69 equalityTactics.cmx: introductionTactics.cmx primitiveTactics.cmx \
70 proofEngineHelpers.cmx proofEngineReduction.cmx \
71 proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \
72 tacticals.cmx equalityTactics.cmi
73 discriminationTactics.cmo: eliminationTactics.cmi equalityTactics.cmi \
74 introductionTactics.cmi primitiveTactics.cmi proofEngineTypes.cmo \
75 tacticals.cmi discriminationTactics.cmi
76 discriminationTactics.cmx: eliminationTactics.cmx equalityTactics.cmx \
77 introductionTactics.cmx primitiveTactics.cmx proofEngineTypes.cmx \
78 tacticals.cmx discriminationTactics.cmi
79 ring.cmo: eliminationTactics.cmi equalityTactics.cmi primitiveTactics.cmi \
80 proofEngineStructuralRules.cmi proofEngineTypes.cmo tacticals.cmi \
82 ring.cmx: eliminationTactics.cmx equalityTactics.cmx primitiveTactics.cmx \
83 proofEngineStructuralRules.cmx proofEngineTypes.cmx tacticals.cmx \
85 fourier.cmo: fourier.cmi
86 fourier.cmx: fourier.cmi
87 fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \
88 proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
89 tacticals.cmi fourierR.cmi
90 fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \
91 proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
92 tacticals.cmx fourierR.cmi
93 statefulProofEngine.cmo: proofEngineTypes.cmo statefulProofEngine.cmi
94 statefulProofEngine.cmx: proofEngineTypes.cmx statefulProofEngine.cmi