X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Ftactics%2F.depend;h=f14137fd72bc8a622459ea482dcc46249f948b80;hb=b3e00c5c1ff91409a2065feac83b3feec65cc474;hp=e6dc05be5832c4c58ae1048b674e014002dc86f6;hpb=34feb17401c569973c510ae75360be275587d315;p=helm.git diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend index e6dc05be5..f14137fd7 100644 --- a/helm/ocaml/tactics/.depend +++ b/helm/ocaml/tactics/.depend @@ -1,77 +1,252 @@ -proofEngineHelpers.cmi: proofEngineTypes.cmo +proofEngineReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo +proofEngineHelpers.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo tacticals.cmi: proofEngineTypes.cmo -reductionTactics.cmi: proofEngineTypes.cmo -proofEngineStructuralRules.cmi: proofEngineTypes.cmo -primitiveTactics.cmi: proofEngineTypes.cmo -variousTactics.cmi: proofEngineTypes.cmo +reductionTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo +proofEngineStructuralRules.cmi: \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo proofEngineTypes.cmo +primitiveTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo +variousTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo introductionTactics.cmi: proofEngineTypes.cmo -eliminationTactics.cmi: proofEngineTypes.cmo -negationTactics.cmi: proofEngineTypes.cmo -equalityTactics.cmi: proofEngineTypes.cmo -discriminationTactics.cmi: proofEngineTypes.cmo +eliminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi +negationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo +equalityTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo +discriminationTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + proofEngineTypes.cmo ring.cmi: proofEngineTypes.cmo fourierR.cmi: proofEngineTypes.cmo -proofEngineReduction.cmo: proofEngineReduction.cmi -proofEngineReduction.cmx: proofEngineReduction.cmi -proofEngineHelpers.cmo: proofEngineHelpers.cmi -proofEngineHelpers.cmx: proofEngineHelpers.cmi -fourier.cmo: fourier.cmi -fourier.cmx: fourier.cmi -tacticals.cmo: proofEngineTypes.cmo tacticals.cmi -tacticals.cmx: proofEngineTypes.cmx tacticals.cmi -reductionTactics.cmo: proofEngineReduction.cmi reductionTactics.cmi -reductionTactics.cmx: proofEngineReduction.cmx reductionTactics.cmi -proofEngineStructuralRules.cmo: proofEngineTypes.cmo \ +proofEngineTypes.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi +proofEngineTypes.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx +proofEngineReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + /usr/lib/ocaml/3.06/list.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + proofEngineReduction.cmi +proofEngineReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + /usr/lib/ocaml/3.06/list.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + proofEngineReduction.cmi +proofEngineHelpers.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ + /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/str.cmi \ + proofEngineHelpers.cmi +proofEngineHelpers.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ + /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/str.cmi \ + proofEngineHelpers.cmi +fourier.cmo: /usr/lib/ocaml/3.06/list.cmi fourier.cmi +fourier.cmx: /usr/lib/ocaml/3.06/list.cmx fourier.cmi +tacticals.cmo: \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ + /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \ + proofEngineTypes.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + tacticals.cmi +tacticals.cmx: \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ + /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \ + proofEngineTypes.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + tacticals.cmi +reductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /usr/lib/ocaml/3.06/list.cmi proofEngineReduction.cmi \ + reductionTactics.cmi +reductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /usr/lib/ocaml/3.06/list.cmx proofEngineReduction.cmx \ + reductionTactics.cmi +proofEngineStructuralRules.cmo: \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /usr/lib/ocaml/3.06/list.cmi proofEngineTypes.cmo \ proofEngineStructuralRules.cmi -proofEngineStructuralRules.cmx: proofEngineTypes.cmx \ +proofEngineStructuralRules.cmx: \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /usr/lib/ocaml/3.06/list.cmx proofEngineTypes.cmx \ proofEngineStructuralRules.cmi -primitiveTactics.cmo: proofEngineHelpers.cmi proofEngineReduction.cmi \ - proofEngineTypes.cmo reductionTactics.cmi tacticals.cmi \ +primitiveTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmi \ + /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printexc.cmi \ + proofEngineHelpers.cmi proofEngineReduction.cmi proofEngineTypes.cmo \ + reductionTactics.cmi tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ primitiveTactics.cmi -primitiveTactics.cmx: proofEngineHelpers.cmx proofEngineReduction.cmx \ - proofEngineTypes.cmx reductionTactics.cmx tacticals.cmx \ +primitiveTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_unification/cicUnification.cmx \ + /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printexc.cmx \ + proofEngineHelpers.cmx proofEngineReduction.cmx proofEngineTypes.cmx \ + reductionTactics.cmx tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ primitiveTactics.cmi -variousTactics.cmo: primitiveTactics.cmi proofEngineHelpers.cmi \ +variousTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \ proofEngineReduction.cmi proofEngineTypes.cmo tacticals.cmi \ variousTactics.cmi -variousTactics.cmx: primitiveTactics.cmx proofEngineHelpers.cmx \ +variousTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \ proofEngineReduction.cmx proofEngineTypes.cmx tacticals.cmx \ variousTactics.cmi -introductionTactics.cmo: primitiveTactics.cmi proofEngineTypes.cmo \ +introductionTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \ introductionTactics.cmi -introductionTactics.cmx: primitiveTactics.cmx proofEngineTypes.cmx \ +introductionTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \ introductionTactics.cmi -eliminationTactics.cmo: primitiveTactics.cmi proofEngineStructuralRules.cmi \ - tacticals.cmi eliminationTactics.cmi -eliminationTactics.cmx: primitiveTactics.cmx proofEngineStructuralRules.cmx \ - tacticals.cmx eliminationTactics.cmi -negationTactics.cmo: eliminationTactics.cmi primitiveTactics.cmi \ - proofEngineTypes.cmo tacticals.cmi variousTactics.cmi negationTactics.cmi -negationTactics.cmx: eliminationTactics.cmx primitiveTactics.cmx \ - proofEngineTypes.cmx tacticals.cmx variousTactics.cmx negationTactics.cmi -equalityTactics.cmo: introductionTactics.cmi primitiveTactics.cmi \ +eliminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ + proofEngineStructuralRules.cmi /usr/lib/ocaml/3.06/string.cmi \ + tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + eliminationTactics.cmi +eliminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ + proofEngineStructuralRules.cmx /usr/lib/ocaml/3.06/string.cmx \ + tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + eliminationTactics.cmi +negationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + eliminationTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ + proofEngineTypes.cmo tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + variousTactics.cmi negationTactics.cmi +negationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + eliminationTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ + proofEngineTypes.cmx tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + variousTactics.cmx negationTactics.cmi +equalityTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + introductionTactics.cmi /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi \ proofEngineHelpers.cmi proofEngineReduction.cmi \ proofEngineStructuralRules.cmi proofEngineTypes.cmo reductionTactics.cmi \ - tacticals.cmi equalityTactics.cmi -equalityTactics.cmx: introductionTactics.cmx primitiveTactics.cmx \ + tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + equalityTactics.cmi +equalityTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + introductionTactics.cmx /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx \ proofEngineHelpers.cmx proofEngineReduction.cmx \ proofEngineStructuralRules.cmx proofEngineTypes.cmx reductionTactics.cmx \ - tacticals.cmx equalityTactics.cmi -discriminationTactics.cmo: eliminationTactics.cmi equalityTactics.cmi \ - introductionTactics.cmi primitiveTactics.cmi proofEngineTypes.cmo \ - tacticals.cmi discriminationTactics.cmi -discriminationTactics.cmx: eliminationTactics.cmx equalityTactics.cmx \ - introductionTactics.cmx primitiveTactics.cmx proofEngineTypes.cmx \ - tacticals.cmx discriminationTactics.cmi -ring.cmo: eliminationTactics.cmi equalityTactics.cmi primitiveTactics.cmi \ - proofEngineStructuralRules.cmi proofEngineTypes.cmo tacticals.cmi \ - ring.cmi -ring.cmx: eliminationTactics.cmx equalityTactics.cmx primitiveTactics.cmx \ - proofEngineStructuralRules.cmx proofEngineTypes.cmx tacticals.cmx \ - ring.cmi -fourierR.cmo: equalityTactics.cmi fourier.cmi primitiveTactics.cmi \ - proofEngineHelpers.cmi proofEngineTypes.cmo reductionTactics.cmi ring.cmi \ - tacticals.cmi fourierR.cmi -fourierR.cmx: equalityTactics.cmx fourier.cmx primitiveTactics.cmx \ - proofEngineHelpers.cmx proofEngineTypes.cmx reductionTactics.cmx ring.cmx \ - tacticals.cmx fourierR.cmi + tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + equalityTactics.cmi +discriminationTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \ + eliminationTactics.cmi equalityTactics.cmi introductionTactics.cmi \ + /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineTypes.cmo \ + tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + discriminationTactics.cmi +discriminationTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \ + eliminationTactics.cmx equalityTactics.cmx introductionTactics.cmx \ + /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineTypes.cmx \ + tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + discriminationTactics.cmi +ring.cmo: /usr/lib/ocaml/3.06/array.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + eliminationTactics.cmi equalityTactics.cmi \ + /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \ + primitiveTactics.cmi proofEngineStructuralRules.cmi proofEngineTypes.cmo \ + tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi ring.cmi +ring.cmx: /usr/lib/ocaml/3.06/array.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + eliminationTactics.cmx equalityTactics.cmx \ + /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \ + primitiveTactics.cmx proofEngineStructuralRules.cmx proofEngineTypes.cmx \ + tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx ring.cmi +fourierR.cmo: /usr/lib/ocaml/3.06/array.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmi \ + equalityTactics.cmi fourier.cmi /usr/lib/ocaml/3.06/hashtbl.cmi \ + /usr/lib/ocaml/3.06/list.cmi primitiveTactics.cmi proofEngineHelpers.cmi \ + proofEngineTypes.cmo reductionTactics.cmi ring.cmi \ + /usr/lib/ocaml/3.06/string.cmi tacticals.cmi \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \ + fourierR.cmi +fourierR.cmx: /usr/lib/ocaml/3.06/array.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicReduction.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicSubstitution.cmx \ + equalityTactics.cmx fourier.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \ + /usr/lib/ocaml/3.06/list.cmx primitiveTactics.cmx proofEngineHelpers.cmx \ + proofEngineTypes.cmx reductionTactics.cmx ring.cmx \ + /usr/lib/ocaml/3.06/string.cmx tacticals.cmx \ + /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \ + fourierR.cmi