components/tactics/.depend

   1 proofEngineHelpers.cmi: proofEngineTypes.cmi
   2 continuationals.cmi: proofEngineTypes.cmi
   3 tacticals.cmi: proofEngineTypes.cmi continuationals.cmi
   4 reductionTactics.cmi: proofEngineTypes.cmi
   5 proofEngineStructuralRules.cmi: proofEngineTypes.cmi
   6 primitiveTactics.cmi: proofEngineTypes.cmi
   7 metadataQuery.cmi: proofEngineTypes.cmi
   8 paramodulation/equality.cmi: paramodulation/utils.cmi \
   9     paramodulation/subst.cmi
  10 paramodulation/inference.cmi: paramodulation/utils.cmi proofEngineTypes.cmi \
  11     paramodulation/equality.cmi
  12 paramodulation/equality_indexing.cmi: paramodulation/utils.cmi \
  13     paramodulation/equality.cmi
  14 paramodulation/indexing.cmi: paramodulation/utils.cmi \
  15     paramodulation/equality_indexing.cmi paramodulation/equality.cmi
  16 paramodulation/saturation.cmi: proofEngineTypes.cmi
  17 variousTactics.cmi: proofEngineTypes.cmi
  18 autoTactic.cmi: proofEngineTypes.cmi
  19 introductionTactics.cmi: proofEngineTypes.cmi
  20 eliminationTactics.cmi: proofEngineTypes.cmi
  21 negationTactics.cmi: proofEngineTypes.cmi
  22 equalityTactics.cmi: proofEngineTypes.cmi
  23 discriminationTactics.cmi: proofEngineTypes.cmi
  24 inversion.cmi: proofEngineTypes.cmi
  25 ring.cmi: proofEngineTypes.cmi
  26 fourierR.cmi: proofEngineTypes.cmi
  27 fwdSimplTactic.cmi: proofEngineTypes.cmi
  28 statefulProofEngine.cmi: proofEngineTypes.cmi
  29 tactics.cmi: proofEngineTypes.cmi
  30 proofEngineTypes.cmo: proofEngineTypes.cmi
  31 proofEngineTypes.cmx: proofEngineTypes.cmi
  32 proofEngineHelpers.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi
  33 proofEngineHelpers.cmx: proofEngineTypes.cmx proofEngineHelpers.cmi
  34 proofEngineReduction.cmo: proofEngineTypes.cmi proofEngineHelpers.cmi \
  35     proofEngineReduction.cmi
  36 proofEngineReduction.cmx: proofEngineTypes.cmx proofEngineHelpers.cmx \
  37     proofEngineReduction.cmi
  38 continuationals.cmo: proofEngineTypes.cmi continuationals.cmi
  39 continuationals.cmx: proofEngineTypes.cmx continuationals.cmi
  40 tacticals.cmo: proofEngineTypes.cmi continuationals.cmi tacticals.cmi
  41 tacticals.cmx: proofEngineTypes.cmx continuationals.cmx tacticals.cmi
  42 reductionTactics.cmo: proofEngineTypes.cmi proofEngineReduction.cmi \
  43     proofEngineHelpers.cmi reductionTactics.cmi
  44 reductionTactics.cmx: proofEngineTypes.cmx proofEngineReduction.cmx \
  45     proofEngineHelpers.cmx reductionTactics.cmi
  46 proofEngineStructuralRules.cmo: proofEngineTypes.cmi \
  47     proofEngineStructuralRules.cmi
  48 proofEngineStructuralRules.cmx: proofEngineTypes.cmx \
  49     proofEngineStructuralRules.cmi
  50 primitiveTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
  51     proofEngineHelpers.cmi primitiveTactics.cmi
  52 primitiveTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
  53     proofEngineHelpers.cmx primitiveTactics.cmi
  54 hashtbl_equiv.cmo: hashtbl_equiv.cmi
  55 hashtbl_equiv.cmx: hashtbl_equiv.cmi
  56 metadataQuery.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
  57     hashtbl_equiv.cmi metadataQuery.cmi
  58 metadataQuery.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
  59     hashtbl_equiv.cmx metadataQuery.cmi
  60 paramodulation/utils.cmo: proofEngineReduction.cmi paramodulation/utils.cmi
  61 paramodulation/utils.cmx: proofEngineReduction.cmx paramodulation/utils.cmi
  62 paramodulation/subst.cmo: paramodulation/subst.cmi
  63 paramodulation/subst.cmx: paramodulation/subst.cmi
  64 paramodulation/equality.cmo: paramodulation/utils.cmi \
  65     paramodulation/subst.cmi proofEngineReduction.cmi \
  66     paramodulation/equality.cmi
  67 paramodulation/equality.cmx: paramodulation/utils.cmx \
  68     paramodulation/subst.cmx proofEngineReduction.cmx \
  69     paramodulation/equality.cmi
  70 paramodulation/inference.cmo: paramodulation/utils.cmi proofEngineHelpers.cmi \
  71     metadataQuery.cmi paramodulation/equality.cmi \
  72     paramodulation/inference.cmi
  73 paramodulation/inference.cmx: paramodulation/utils.cmx proofEngineHelpers.cmx \
  74     metadataQuery.cmx paramodulation/equality.cmx \
  75     paramodulation/inference.cmi
  76 paramodulation/equality_indexing.cmo: paramodulation/utils.cmi \
  77     paramodulation/equality.cmi paramodulation/equality_indexing.cmi
  78 paramodulation/equality_indexing.cmx: paramodulation/utils.cmx \
  79     paramodulation/equality.cmx paramodulation/equality_indexing.cmi
  80 paramodulation/indexing.cmo: paramodulation/utils.cmi \
  81     paramodulation/inference.cmi paramodulation/equality_indexing.cmi \
  82     paramodulation/equality.cmi paramodulation/indexing.cmi
  83 paramodulation/indexing.cmx: paramodulation/utils.cmx \
  84     paramodulation/inference.cmx paramodulation/equality_indexing.cmx \
  85     paramodulation/equality.cmx paramodulation/indexing.cmi
  86 paramodulation/saturation.cmo: paramodulation/utils.cmi reductionTactics.cmi \
  87     proofEngineTypes.cmi proofEngineReduction.cmi primitiveTactics.cmi \
  88     paramodulation/inference.cmi paramodulation/indexing.cmi \
  89     paramodulation/equality.cmi paramodulation/saturation.cmi
  90 paramodulation/saturation.cmx: paramodulation/utils.cmx reductionTactics.cmx \
  91     proofEngineTypes.cmx proofEngineReduction.cmx primitiveTactics.cmx \
  92     paramodulation/inference.cmx paramodulation/indexing.cmx \
  93     paramodulation/equality.cmx paramodulation/saturation.cmi
  94 variousTactics.cmo: tacticals.cmi proofEngineTypes.cmi \
  95     proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
  96     variousTactics.cmi
  97 variousTactics.cmx: tacticals.cmx proofEngineTypes.cmx \
  98     proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
  99     variousTactics.cmi
 100 autoTactic.cmo: paramodulation/saturation.cmi proofEngineTypes.cmi \
 101     proofEngineHelpers.cmi primitiveTactics.cmi metadataQuery.cmi \
 102     paramodulation/equality.cmi autoTactic.cmi
 103 autoTactic.cmx: paramodulation/saturation.cmx proofEngineTypes.cmx \
 104     proofEngineHelpers.cmx primitiveTactics.cmx metadataQuery.cmx \
 105     paramodulation/equality.cmx autoTactic.cmi
 106 introductionTactics.cmo: proofEngineTypes.cmi primitiveTactics.cmi \
 107     introductionTactics.cmi
 108 introductionTactics.cmx: proofEngineTypes.cmx primitiveTactics.cmx \
 109     introductionTactics.cmi
 110 eliminationTactics.cmo: tacticals.cmi proofEngineTypes.cmi \
 111     proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
 112     primitiveTactics.cmi eliminationTactics.cmi
 113 eliminationTactics.cmx: tacticals.cmx proofEngineTypes.cmx \
 114     proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
 115     primitiveTactics.cmx eliminationTactics.cmi
 116 negationTactics.cmo: variousTactics.cmi tacticals.cmi proofEngineTypes.cmi \
 117     primitiveTactics.cmi eliminationTactics.cmi negationTactics.cmi
 118 negationTactics.cmx: variousTactics.cmx tacticals.cmx proofEngineTypes.cmx \
 119     primitiveTactics.cmx eliminationTactics.cmx negationTactics.cmi
 120 equalityTactics.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
 121     proofEngineStructuralRules.cmi proofEngineReduction.cmi \
 122     proofEngineHelpers.cmi primitiveTactics.cmi introductionTactics.cmi \
 123     equalityTactics.cmi
 124 equalityTactics.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
 125     proofEngineStructuralRules.cmx proofEngineReduction.cmx \
 126     proofEngineHelpers.cmx primitiveTactics.cmx introductionTactics.cmx \
 127     equalityTactics.cmi
 128 discriminationTactics.cmo: tacticals.cmi reductionTactics.cmi \
 129     proofEngineTypes.cmi primitiveTactics.cmi introductionTactics.cmi \
 130     equalityTactics.cmi eliminationTactics.cmi discriminationTactics.cmi
 131 discriminationTactics.cmx: tacticals.cmx reductionTactics.cmx \
 132     proofEngineTypes.cmx primitiveTactics.cmx introductionTactics.cmx \
 133     equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmi
 134 inversion.cmo: tacticals.cmi reductionTactics.cmi proofEngineTypes.cmi \
 135     proofEngineReduction.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
 136     equalityTactics.cmi inversion.cmi
 137 inversion.cmx: tacticals.cmx reductionTactics.cmx proofEngineTypes.cmx \
 138     proofEngineReduction.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
 139     equalityTactics.cmx inversion.cmi
 140 inversion_principle.cmo: tacticals.cmi proofEngineTypes.cmi \
 141     primitiveTactics.cmi inversion.cmi inversion_principle.cmi
 142 inversion_principle.cmx: tacticals.cmx proofEngineTypes.cmx \
 143     primitiveTactics.cmx inversion.cmx inversion_principle.cmi
 144 ring.cmo: tacticals.cmi proofEngineTypes.cmi proofEngineStructuralRules.cmi \
 145     primitiveTactics.cmi equalityTactics.cmi eliminationTactics.cmi ring.cmi
 146 ring.cmx: tacticals.cmx proofEngineTypes.cmx proofEngineStructuralRules.cmx \
 147     primitiveTactics.cmx equalityTactics.cmx eliminationTactics.cmx ring.cmi
 148 fourier.cmo: fourier.cmi
 149 fourier.cmx: fourier.cmi
 150 fourierR.cmo: tacticals.cmi ring.cmi reductionTactics.cmi \
 151     proofEngineTypes.cmi proofEngineHelpers.cmi primitiveTactics.cmi \
 152     fourier.cmi equalityTactics.cmi fourierR.cmi
 153 fourierR.cmx: tacticals.cmx ring.cmx reductionTactics.cmx \
 154     proofEngineTypes.cmx proofEngineHelpers.cmx primitiveTactics.cmx \
 155     fourier.cmx equalityTactics.cmx fourierR.cmi
 156 fwdSimplTactic.cmo: tacticals.cmi proofEngineTypes.cmi \
 157     proofEngineStructuralRules.cmi proofEngineHelpers.cmi \
 158     primitiveTactics.cmi fwdSimplTactic.cmi
 159 fwdSimplTactic.cmx: tacticals.cmx proofEngineTypes.cmx \
 160     proofEngineStructuralRules.cmx proofEngineHelpers.cmx \
 161     primitiveTactics.cmx fwdSimplTactic.cmi
 162 history.cmo: history.cmi
 163 history.cmx: history.cmi
 164 statefulProofEngine.cmo: proofEngineTypes.cmi history.cmi \
 165     statefulProofEngine.cmi
 166 statefulProofEngine.cmx: proofEngineTypes.cmx history.cmx \
 167     statefulProofEngine.cmi
 168 tactics.cmo: variousTactics.cmi tacticals.cmi paramodulation/saturation.cmi \
 169     ring.cmi reductionTactics.cmi proofEngineStructuralRules.cmi \
 170     primitiveTactics.cmi negationTactics.cmi inversion.cmi \
 171     introductionTactics.cmi fwdSimplTactic.cmi fourierR.cmi \
 172     equalityTactics.cmi eliminationTactics.cmi discriminationTactics.cmi \
 173     autoTactic.cmi tactics.cmi
 174 tactics.cmx: variousTactics.cmx tacticals.cmx paramodulation/saturation.cmx \
 175     ring.cmx reductionTactics.cmx proofEngineStructuralRules.cmx \
 176     primitiveTactics.cmx negationTactics.cmx inversion.cmx \
 177     introductionTactics.cmx fwdSimplTactic.cmx fourierR.cmx \
 178     equalityTactics.cmx eliminationTactics.cmx discriminationTactics.cmx \
 179     autoTactic.cmx tactics.cmi