package dependences calulation fixed

[helm.git] / helm / ocaml / tactics / .depend

diff --git a/helm/ocaml/tactics/.depend b/helm/ocaml/tactics/.depend
index e6dc05be5832c4c58ae1048b674e014002dc86f6..f14137fd72bc8a622459ea482dcc46249f948b80 100644 (file)
--- 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