2 proofEngineHelpers.cmi: proofEngineTypes.cmi
3 proofEngineReduction.cmi:
4 continuationals.cmi: proofEngineTypes.cmi
5 tacticals.cmi: proofEngineTypes.cmi
6 reductionTactics.cmi: proofEngineTypes.cmi
7 proofEngineStructuralRules.cmi: proofEngineTypes.cmi
8 primitiveTactics.cmi: proofEngineTypes.cmi
10 metadataQuery.cmi: proofEngineTypes.cmi
12 autoTypes.cmi: proofEngineTypes.cmi
14 paramodulation/utils.cmi:
15 closeCoercionGraph.cmi:
16 paramodulation/subst.cmi:
17 paramodulation/equality.cmi: paramodulation/utils.cmi \
18 paramodulation/subst.cmi
19 paramodulation/founif.cmi: paramodulation/subst.cmi
20 paramodulation/equality_indexing.cmi: paramodulation/utils.cmi \
21 paramodulation/equality.cmi
22 paramodulation/indexing.cmi: paramodulation/utils.cmi \
23 paramodulation/subst.cmi paramodulation/equality_indexing.cmi \
24 paramodulation/equality.cmi
25 paramodulation/saturation.cmi: paramodulation/utils.cmi proofEngineTypes.cmi \
26 paramodulation/indexing.cmi paramodulation/equality.cmi
27 automationCache.cmi: universe.cmi paramodulation/saturation.cmi
28 variousTactics.cmi: proofEngineTypes.cmi
29 compose.cmi: proofEngineTypes.cmi
30 introductionTactics.cmi: proofEngineTypes.cmi
31 eliminationTactics.cmi: proofEngineTypes.cmi
32 negationTactics.cmi: proofEngineTypes.cmi
33 equalityTactics.cmi: proofEngineTypes.cmi
34 auto.cmi: universe.cmi proofEngineTypes.cmi
35 destructTactic.cmi: proofEngineTypes.cmi
36 inversion.cmi: proofEngineTypes.cmi
37 inversion_principle.cmi:
38 ring.cmi: proofEngineTypes.cmi
39 setoids.cmi: proofEngineTypes.cmi
41 fourierR.cmi: proofEngineTypes.cmi
42 fwdSimplTactic.cmi: proofEngineTypes.cmi
44 statefulProofEngine.cmi: proofEngineTypes.cmi
45 tactics.cmi: universe.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi
46 declarative.cmi: universe.cmi proofEngineTypes.cmi auto.cmi
47 proofEngineTypes.cmo: proofEngineTypes.cmi
48 proofEngineTypes.cmx: proofEngineTypes.cmi
49 proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi
50 proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi
51 proofEngineReduction.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi \
52 proofEngineReduction.cmi
53 proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
54 proofEngineReduction.cmi
55 continuationals.cmo: proofEngineTypes.cmi continuationals.cmi
56 continuationals.cmx: proofEngineTypes.cmx continuationals.cmi
57 tacticals.cmo: proofEngineTypes.cmi continuationals.cmi tacticals.cmi
58 tacticals.cmx: proofEngineTypes.cmx continuationals.cmx tacticals.cmi
59 reductionTactics.cmo: proofEngineTypes.cmi proofEngineReduction.cmi \
60 proofEngineHelpers.cmi reductionTactics.cmi
61 reductionTactics.cmx: proofEngineTypes.cmx proofEngineReduction.cmx \
62 proofEngineHelpers.cmx reductionTactics.cmi
63 proofEngineStructuralRules.cmo: proofEngineTypes.cmi \
64 proofEngineStructuralRules.cmi
65 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
66 proofEngineStructuralRules.cmi
67 primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
68 proofEngineStructuralRules.cmi proofEngineReduction.cmi \
69 proofEngineHelpers.cmi primitiveTactics.cmi
70 primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
71 proofEngineStructuralRules.cmx proofEngineReduction.cmx \
72 proofEngineHelpers.cmx primitiveTactics.cmi
73 hashtbl_equiv.cmo: hashtbl_equiv.cmi
74 hashtbl_equiv.cmx: hashtbl_equiv.cmi
75 metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
76 hashtbl_equiv.cmi metadataQuery.cmi
77 metadataQuery.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
78 hashtbl_equiv.cmx metadataQuery.cmi
79 universe.cmo: proofEngineTypes.cmi proofEngineReduction.cmi universe.cmi
80 universe.cmx: proofEngineTypes.cmx proofEngineReduction.cmx universe.cmi
81 autoTypes.cmo: autoTypes.cmi
82 autoTypes.cmx: autoTypes.cmi
83 autoCache.cmo: universe.cmi autoCache.cmi
84 autoCache.cmx: universe.cmx autoCache.cmi
85 paramodulation/utils.cmo: proofEngineReduction.cmi paramodulation/utils.cmi
86 paramodulation/utils.cmx: proofEngineReduction.cmx paramodulation/utils.cmi
87 closeCoercionGraph.cmo: closeCoercionGraph.cmi
88 closeCoercionGraph.cmx: closeCoercionGraph.cmi
89 paramodulation/subst.cmo: paramodulation/subst.cmi
90 paramodulation/subst.cmx: paramodulation/subst.cmi
91 paramodulation/equality.cmo: paramodulation/utils.cmi \
92 paramodulation/subst.cmi proofEngineTypes.cmi proofEngineReduction.cmi \
93 paramodulation/equality.cmi
94 paramodulation/equality.cmx: paramodulation/utils.cmx \
95 paramodulation/subst.cmx proofEngineTypes.cmx proofEngineReduction.cmx \
96 paramodulation/equality.cmi
97 paramodulation/founif.cmo: paramodulation/utils.cmi paramodulation/subst.cmi \
98 paramodulation/founif.cmi
99 paramodulation/founif.cmx: paramodulation/utils.cmx paramodulation/subst.cmx \
100 paramodulation/founif.cmi
101 paramodulation/equality_indexing.cmo: paramodulation/utils.cmi \
102 paramodulation/equality.cmi paramodulation/equality_indexing.cmi
103 paramodulation/equality_indexing.cmx: paramodulation/utils.cmx \
104 paramodulation/equality.cmx paramodulation/equality_indexing.cmi
105 paramodulation/indexing.cmo: paramodulation/utils.cmi \
106 paramodulation/subst.cmi proofEngineTypes.cmi paramodulation/founif.cmi \
107 paramodulation/equality_indexing.cmi paramodulation/equality.cmi \
108 paramodulation/indexing.cmi
109 paramodulation/indexing.cmx: paramodulation/utils.cmx \
110 paramodulation/subst.cmx proofEngineTypes.cmx paramodulation/founif.cmx \
111 paramodulation/equality_indexing.cmx paramodulation/equality.cmx \
112 paramodulation/indexing.cmi
113 paramodulation/saturation.cmo: paramodulation/utils.cmi \
114 paramodulation/subst.cmi proofEngineTypes.cmi proofEngineHelpers.cmi \
115 paramodulation/indexing.cmi paramodulation/founif.cmi \
116 paramodulation/equality.cmi paramodulation/saturation.cmi
117 paramodulation/saturation.cmx: paramodulation/utils.cmx \
118 paramodulation/subst.cmx proofEngineTypes.cmx proofEngineHelpers.cmx \
119 paramodulation/indexing.cmx paramodulation/founif.cmx \
120 paramodulation/equality.cmx paramodulation/saturation.cmi
121 automationCache.cmo: proofEngineTypes.cmi proofEngineReduction.cmi \
123 automationCache.cmx: proofEngineTypes.cmx proofEngineReduction.cmx \
125 variousTactics.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
127 variousTactics.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
129 compose.cmo: proofEngineTypes.cmi primitiveTactics.cmi closeCoercionGraph.cmi \
131 compose.cmx: proofEngineTypes.cmx primitiveTactics.cmx closeCoercionGraph.cmx \
133 introductionTactics.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
134 introductionTactics.cmi
135 introductionTactics.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
136 introductionTactics.cmi
137 eliminationTactics.cmo: tacticals.cmi reductionTactics.cmi \
138 proofEngineTypes.cmi proofEngineStructuralRules.cmi \
139 proofEngineHelpers.cmi primitiveTactics.cmi eliminationTactics.cmi
140 eliminationTactics.cmx: tacticals.cmx reductionTactics.cmx \
141 proofEngineTypes.cmx proofEngineStructuralRules.cmx \
142 proofEngineHelpers.cmx primitiveTactics.cmx eliminationTactics.cmi
143 negationTactics.cmo: variousTactics.cmi tacticals.cmi proofEngineTypes.cmi \
144 primitiveTactics.cmi eliminationTactics.cmi negationTactics.cmi
145 negationTactics.cmx: variousTactics.cmx tacticals.cmx proofEngineTypes.cmx \
146 primitiveTactics.cmx eliminationTactics.cmx negationTactics.cmi
147 equalityTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
148 proofEngineStructuralRules.cmi proofEngineReduction.cmi \
149 proofEngineHelpers.cmi primitiveTactics.cmi introductionTactics.cmi \
151 equalityTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
152 proofEngineStructuralRules.cmx proofEngineReduction.cmx \
153 proofEngineHelpers.cmx primitiveTactics.cmx introductionTactics.cmx \
155 auto.cmo: paramodulation/utils.cmi universe.cmi paramodulation/saturation.cmi \
156 proofEngineTypes.cmi proofEngineReduction.cmi proofEngineHelpers.cmi \
157 primitiveTactics.cmi metadataQuery.cmi paramodulation/indexing.cmi \
158 equalityTactics.cmi paramodulation/equality.cmi autoTypes.cmi \
159 autoCache.cmi auto.cmi
160 auto.cmx: paramodulation/utils.cmx universe.cmx paramodulation/saturation.cmx \
161 proofEngineTypes.cmx proofEngineReduction.cmx proofEngineHelpers.cmx \
162 primitiveTactics.cmx metadataQuery.cmx paramodulation/indexing.cmx \
163 equalityTactics.cmx paramodulation/equality.cmx autoTypes.cmx \
164 autoCache.cmx auto.cmi
165 destructTactic.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
166 proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
167 primitiveTactics.cmi introductionTactics.cmi equalityTactics.cmi \
168 eliminationTactics.cmi destructTactic.cmi
169 destructTactic.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
170 proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
171 primitiveTactics.cmx introductionTactics.cmx equalityTactics.cmx \
172 eliminationTactics.cmx destructTactic.cmi
173 inversion.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
174 proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
175 equalityTactics.cmi inversion.cmi
176 inversion.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
177 proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
178 equalityTactics.cmx inversion.cmi
179 inversion_principle.cmo: tacticals.cmi proofEngineTypes.cmi \
180 primitiveTactics.cmi inversion.cmi inversion_principle.cmi
181 inversion_principle.cmx: tacticals.cmx proofEngineTypes.cmx \
182 primitiveTactics.cmx inversion.cmx inversion_principle.cmi
183 ring.cmo: tacticals.cmi proofEngineTypes.cmi proofEngineStructuralRules.cmi \
184 primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi
185 ring.cmx: tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
186 primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi
187 setoids.cmo: proofEngineTypes.cmi primitiveTactics.cmi equalityTactics.cmi \
189 setoids.cmx: proofEngineTypes.cmx primitiveTactics.cmx equalityTactics.cmx \
191 fourier.cmo: fourier.cmi
192 fourier.cmx: fourier.cmi
193 fourierR.cmo: tacticals.cmi ring.cmi reductionTactics.cmi \
194 proofEngineTypes.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
195 fourier.cmi equalityTactics.cmi fourierR.cmi
196 fourierR.cmx: tacticals.cmx ring.cmx reductionTactics.cmx \
197 proofEngineTypes.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
198 fourier.cmx equalityTactics.cmx fourierR.cmi
199 fwdSimplTactic.cmo: tacticals.cmi proofEngineTypes.cmi \
200 proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
201 primitiveTactics.cmi fwdSimplTactic.cmi
202 fwdSimplTactic.cmx: tacticals.cmx proofEngineTypes.cmx \
203 proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
204 primitiveTactics.cmx fwdSimplTactic.cmi
205 history.cmo: history.cmi
206 history.cmx: history.cmi
207 statefulProofEngine.cmo: proofEngineTypes.cmi history.cmi \
208 statefulProofEngine.cmi
209 statefulProofEngine.cmx: proofEngineTypes.cmx history.cmx \
210 statefulProofEngine.cmi
211 tactics.cmo: variousTactics.cmi tacticals.cmi setoids.cmi ring.cmi \
212 reductionTactics.cmi proofEngineStructuralRules.cmi primitiveTactics.cmi \
213 negationTactics.cmi inversion.cmi introductionTactics.cmi \
214 fwdSimplTactic.cmi fourierR.cmi equalityTactics.cmi \
215 eliminationTactics.cmi destructTactic.cmi compose.cmi \
216 closeCoercionGraph.cmi auto.cmi tactics.cmi
217 tactics.cmx: variousTactics.cmx tacticals.cmx setoids.cmx ring.cmx \
218 reductionTactics.cmx proofEngineStructuralRules.cmx primitiveTactics.cmx \
219 negationTactics.cmx inversion.cmx introductionTactics.cmx \
220 fwdSimplTactic.cmx fourierR.cmx equalityTactics.cmx \
221 eliminationTactics.cmx destructTactic.cmx compose.cmx \
222 closeCoercionGraph.cmx auto.cmx tactics.cmi
223 declarative.cmo: tactics.cmi tacticals.cmi proofEngineTypes.cmi auto.cmi \
225 declarative.cmx: tactics.cmx tacticals.cmx proofEngineTypes.cmx auto.cmx \