helm/ocaml/tactics/.depend

   1 proofEngineReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo
   2 proofEngineHelpers.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
   3     proofEngineTypes.cmo
   4 tacticals.cmi: proofEngineTypes.cmo
   5 reductionTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
   6     proofEngineTypes.cmo
   7 proofEngineStructuralRules.cmi: \
   8     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo proofEngineTypes.cmo
   9 primitiveTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  10     proofEngineTypes.cmo
  11 variousTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  12     proofEngineTypes.cmo
  13 introductionTactics.cmi: proofEngineTypes.cmo
  14 eliminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  15     proofEngineTypes.cmo \
  16     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi
  17 negationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  18     proofEngineTypes.cmo
  19 equalityTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  20     proofEngineTypes.cmo
  21 discriminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  22     proofEngineTypes.cmo
  23 ring.cmi: proofEngineTypes.cmo
  24 fourierR.cmi: proofEngineTypes.cmo
  25 proofEngineTypes.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  26     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi
  27 proofEngineTypes.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
  28     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx
  29 proofEngineReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  30     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \
  31     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
  32     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
  33     /usr/lib/ocaml/3.06/list.cmi \
  34     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
  35     proofEngineReduction.cmi
  36 proofEngineReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
  37     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \
  38     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
  39     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
  40     /usr/lib/ocaml/3.06/list.cmx \
  41     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
  42     proofEngineReduction.cmi
  43 proofEngineHelpers.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  44     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
  45     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \
  46     /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/str.cmi \
  47     proofEngineHelpers.cmi
  48 proofEngineHelpers.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
  49     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
  50     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \
  51     /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/str.cmi \
  52     proofEngineHelpers.cmi
  53 fourier.cmo: /usr/lib/ocaml/3.06/list.cmi fourier.cmi
  54 fourier.cmx: /usr/lib/ocaml/3.06/list.cmx fourier.cmi
  55 tacticals.cmo: \
  56     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
  57     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
  58     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \
  59     /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \
  60     proofEngineTypes.cmo \
  61     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
  62     tacticals.cmi
  63 tacticals.cmx: \
  64     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
  65     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
  66     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \
  67     /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \
  68     proofEngineTypes.cmx \
  69     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
  70     tacticals.cmi
  71 reductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  72     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
  73     /usr/lib/ocaml/3.06/list.cmi proofEngineReduction.cmi \
  74     reductionTactics.cmi
  75 reductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
  76     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
  77     /usr/lib/ocaml/3.06/list.cmx proofEngineReduction.cmx \
  78     reductionTactics.cmi
  79 proofEngineStructuralRules.cmo: \
  80     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  81     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
  82     /usr/lib/ocaml/3.06/list.cmi proofEngineTypes.cmo \
  83     proofEngineStructuralRules.cmi
  84 proofEngineStructuralRules.cmx: \
  85     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
  86     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
  87     /usr/lib/ocaml/3.06/list.cmx proofEngineTypes.cmx \
  88     proofEngineStructuralRules.cmi
  89 primitiveTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
  90     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \
  91     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
  92     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
  93     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
  94     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
  95     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \
  96     /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \
  97     proofEngineHelpers.cmi proofEngineReduction.cmi proofEngineTypes.cmo \
  98     reductionTactics.cmi tacticals.cmi \
  99     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 100     primitiveTactics.cmi
 101 primitiveTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 102     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \
 103     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
 104     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 105     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 106     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 107     /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \
 108     /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \
 109     proofEngineHelpers.cmx proofEngineReduction.cmx proofEngineTypes.cmx \
 110     reductionTactics.cmx tacticals.cmx \
 111     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 112     primitiveTactics.cmi
 113 variousTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 114     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 115     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
 116     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
 117     /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
 118     proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \
 119     variousTactics.cmi
 120 variousTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 121     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 122     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 123     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 124     /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
 125     proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \
 126     variousTactics.cmi
 127 introductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 128     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 129     /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \
 130     introductionTactics.cmi
 131 introductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 132     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 133     /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \
 134     introductionTactics.cmi
 135 eliminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 136     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
 137     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 138     /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \
 139     /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \
 140     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
 141     /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \
 142     proofEngineStructuralRules.cmi /usr/lib/ocaml/3.06/string.cmi \
 143     tacticals.cmi \
 144     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 145     eliminationTactics.cmi
 146 eliminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 147     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
 148     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 149     /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \
 150     /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \
 151     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 152     /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \
 153     proofEngineStructuralRules.cmx /usr/lib/ocaml/3.06/string.cmx \
 154     tacticals.cmx \
 155     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 156     eliminationTactics.cmi
 157 negationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 158     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
 159     eliminationTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \
 160     proofEngineTypes.cmo tacticals.cmi \
 161     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 162     variousTactics.cmi negationTactics.cmi
 163 negationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 164     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 165     eliminationTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \
 166     proofEngineTypes.cmx tacticals.cmx \
 167     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 168     variousTactics.cmx negationTactics.cmi
 169 equalityTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 170     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 171     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
 172     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
 173     introductionTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \
 174     proofEngineHelpers.cmi proofEngineReduction.cmi \
 175     proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \
 176     tacticals.cmi \
 177     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 178     equalityTactics.cmi
 179 equalityTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 180     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 181     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 182     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 183     introductionTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \
 184     proofEngineHelpers.cmx proofEngineReduction.cmx \
 185     proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \
 186     tacticals.cmx \
 187     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 188     equalityTactics.cmi
 189 discriminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 190     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \
 191     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
 192     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 193     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
 194     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
 195     eliminationTactics.cmi equalityTactics.cmi introductionTactics.cmi \
 196     /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \
 197     tacticals.cmi \
 198     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 199     discriminationTactics.cmi
 200 discriminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 201     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \
 202     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
 203     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 204     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 205     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
 206     eliminationTactics.cmx equalityTactics.cmx introductionTactics.cmx \
 207     /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \
 208     tacticals.cmx \
 209     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 210     discriminationTactics.cmi
 211 ring.cmo: /usr/lib/ocaml/3.06/array.cmi \
 212     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 213     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
 214     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 215     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
 216     eliminationTactics.cmi equalityTactics.cmi \
 217     /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
 218     primitiveTactics.cmi proofEngineStructuralRules.cmi proofEngineTypes.cmo \
 219     tacticals.cmi \
 220     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi ring.cmi
 221 ring.cmx: /usr/lib/ocaml/3.06/array.cmx \
 222     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 223     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
 224     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 225     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 226     eliminationTactics.cmx equalityTactics.cmx \
 227     /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
 228     primitiveTactics.cmx proofEngineStructuralRules.cmx proofEngineTypes.cmx \
 229     tacticals.cmx \
 230     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx ring.cmi
 231 fourierR.cmo: /usr/lib/ocaml/3.06/array.cmi \
 232     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
 233     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
 234     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \
 235     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \
 236     equalityTactics.cmi fourier.cmi /usr/lib/ocaml/3.06/hashtbl.cmi \
 237     /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \
 238     proofEngineTypes.cmo reductionTactics.cmi ring.cmi \
 239     /usr/lib/ocaml/3.06/string.cmi tacticals.cmi \
 240     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
 241     fourierR.cmi
 242 fourierR.cmx: /usr/lib/ocaml/3.06/array.cmx \
 243     /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
 244     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
 245     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \
 246     /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \
 247     equalityTactics.cmx fourier.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \
 248     /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \
 249     proofEngineTypes.cmx reductionTactics.cmx ring.cmx \
 250     /usr/lib/ocaml/3.06/string.cmx tacticals.cmx \
 251     /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
 252     fourierR.cmi