From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 5 Feb 2003 11:09:48 +0000 (+0000)
Subject: package dependences calulation fixed
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b3e00c5c1ff91409a2065feac83b3feec65cc474;p=helm.git

package dependences calulation fixed
---

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
index fa167f5f1..f9b8ac114 100644
--- a/helm/gTopLevel/.depend
+++ b/helm/gTopLevel/.depend
@@ -1,52 +1,353 @@
-xml2Gdome.cmo: xml2Gdome.cmi 
-xml2Gdome.cmx: xml2Gdome.cmi 
-proofEngine.cmo: proofEngine.cmi 
-proofEngine.cmx: proofEngine.cmi 
-doubleTypeInference.cmo: doubleTypeInference.cmi 
-doubleTypeInference.cmx: doubleTypeInference.cmi 
-cic2acic.cmo: doubleTypeInference.cmi cic2acic.cmi 
-cic2acic.cmx: doubleTypeInference.cmx cic2acic.cmi 
-cic2Xml.cmo: cic2acic.cmi cic2Xml.cmi 
-cic2Xml.cmx: cic2acic.cmx cic2Xml.cmi 
-cic2Xml.cmi: cic2acic.cmi 
-logicalOperations.cmo: proofEngine.cmi logicalOperations.cmi 
-logicalOperations.cmx: proofEngine.cmx logicalOperations.cmi 
-sequentPp.cmo: cic2Xml.cmi cic2acic.cmi sequentPp.cmi 
-sequentPp.cmx: cic2Xml.cmx cic2acic.cmx sequentPp.cmi 
-mQueryLevels.cmo: mQueryLevels.cmi 
-mQueryLevels.cmx: mQueryLevels.cmi 
-mQueryLevels2.cmi: mQueryGenerator.cmi 
-mQueryLevels2.cmo: mQueryLevels2.cmi 
-mQueryLevels2.cmx: mQueryLevels2.cmi 
-mQueryGenerator.cmo: mQueryGenerator.cmi 
-mQueryGenerator.cmx: mQueryGenerator.cmi 
-misc.cmo: misc.cmi 
-misc.cmx: misc.cmi 
-disambiguate.cmo: mQueryGenerator.cmi misc.cmi disambiguate.cmi 
-disambiguate.cmx: mQueryGenerator.cmx misc.cmx disambiguate.cmi 
-termEditor.cmo: disambiguate.cmi termEditor.cmi 
-termEditor.cmx: disambiguate.cmx termEditor.cmi 
-termEditor.cmi: disambiguate.cmi 
-applyStylesheets.cmo: cic2Xml.cmi misc.cmi sequentPp.cmi xml2Gdome.cmi \
+xml2Gdome.cmo: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi xml2Gdome.cmi 
+xml2Gdome.cmx: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/stream.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx xml2Gdome.cmi 
+xml2Gdome.cmi: /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi 
+proofEngine.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/tactics/discriminationTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/eliminationTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/equalityTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/fourierR.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/introductionTactics.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/negationTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/primitiveTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineReduction.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineStructuralRules.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/reductionTactics.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/ring.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/variousTactics.cmi \
+    proofEngine.cmi 
+proofEngine.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/tactics/discriminationTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/eliminationTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/equalityTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/fourierR.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/introductionTactics.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/negationTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/primitiveTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineReduction.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineStructuralRules.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/reductionTactics.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/ring.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/variousTactics.cmx \
+    proofEngine.cmi 
+proofEngine.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineTypes.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+doubleTypeInference.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 \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    doubleTypeInference.cmi 
+doubleTypeInference.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 \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    doubleTypeInference.cmi 
+doubleTypeInference.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cic2acic.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/cicTypeChecker.cmi \
+    doubleTypeInference.cmi /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /usr/lib/ocaml/3.06/list.cmi cic2acic.cmi 
+cic2acic.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/cicTypeChecker.cmx \
+    doubleTypeInference.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \
+    /usr/lib/ocaml/3.06/list.cmx cic2acic.cmi 
+cic2acic.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi 
+cic2Xml.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2acic.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /usr/lib/ocaml/3.06/string.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi cic2Xml.cmi 
+cic2Xml.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2acic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/stream.cmx \
+    /usr/lib/ocaml/3.06/string.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx cic2Xml.cmi 
+cic2Xml.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2acic.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi 
+logicalOperations.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/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
+    proofEngine.cmi logicalOperations.cmi 
+logicalOperations.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/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
+    proofEngine.cmx logicalOperations.cmi 
+logicalOperations.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi 
+sequentPp.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2Xml.cmi \
+    cic2acic.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi sequentPp.cmi 
+sequentPp.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2Xml.cmx \
+    cic2acic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicPp.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/stream.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx sequentPp.cmi 
+sequentPp.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi 
+mQueryGenerator.cmi: /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo 
+mQueryLevels.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/cicTypeChecker.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi \
+    mQueryLevels.cmi 
+mQueryLevels.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/cicTypeChecker.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx \
+    mQueryLevels.cmi 
+mQueryLevels2.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    mQueryGenerator.cmi 
+mQueryLevels2.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicMiniReduction.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    mQueryLevels2.cmi 
+mQueryLevels2.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicMiniReduction.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    mQueryLevels2.cmi 
+mQueryGenerator.cmo: /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmi \
+    /usr/lib/ocaml/3.06/unix.cmi mQueryGenerator.cmi 
+mQueryGenerator.cmx: /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mathQL.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmx \
+    /usr/lib/ocaml/3.06/unix.cmi mQueryGenerator.cmi 
+misc.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/string.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi misc.cmi 
+misc.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmx \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/string.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx misc.cmi 
+misc.cmi: \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi 
+disambiguate.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_unification/cicRefine.cmi \
+    /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 mQueryGenerator.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi misc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    disambiguate.cmi 
+disambiguate.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_unification/cicRefine.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 mQueryGenerator.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx misc.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    disambiguate.cmi 
+disambiguate.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+termEditor.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParserContext.cmi \
+    disambiguate.cmi /usr/lib/ocaml/3.06/lablgtk/gEdit.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lexing.cmi \
+    /usr/lib/ocaml/3.06/list.cmi termEditor.cmi 
+termEditor.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualLexer.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParserContext.cmx \
+    disambiguate.cmx /usr/lib/ocaml/3.06/lablgtk/gEdit.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmx /usr/lib/ocaml/3.06/lexing.cmx \
+    /usr/lib/ocaml/3.06/list.cmx termEditor.cmi 
+termEditor.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_textual_parser/cicTextualParser0.cmo \
+    disambiguate.cmi /usr/lib/ocaml/3.06/lablgtk/gObj.cmi 
+applyStylesheets.cmo: cic2Xml.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \
+    /usr/lib/ocaml/3.06/gdome2-xslt/gdome_xslt.cmi \
+    /usr/lib/ocaml/3.06/list.cmi misc.cmi sequentPp.cmi \
+    /usr/lib/ocaml/3.06/sys.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi xml2Gdome.cmi \
     applyStylesheets.cmi 
-applyStylesheets.cmx: cic2Xml.cmx misc.cmx sequentPp.cmx xml2Gdome.cmx \
+applyStylesheets.cmx: cic2Xml.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \
+    /usr/lib/ocaml/3.06/gdome2-xslt/gdome_xslt.cmi \
+    /usr/lib/ocaml/3.06/list.cmx misc.cmx sequentPp.cmx \
+    /usr/lib/ocaml/3.06/sys.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx xml2Gdome.cmx \
     applyStylesheets.cmi 
-applyStylesheets.cmi: cic2acic.cmi 
-termViewer.cmo: applyStylesheets.cmi cic2acic.cmi logicalOperations.cmi \
-    misc.cmi termViewer.cmi 
-termViewer.cmx: applyStylesheets.cmx cic2acic.cmx logicalOperations.cmx \
-    misc.cmx termViewer.cmi 
-termViewer.cmi: cic2acic.cmi 
-invokeTactics.cmo: logicalOperations.cmi proofEngine.cmi termEditor.cmi \
-    termViewer.cmi invokeTactics.cmi 
-invokeTactics.cmx: logicalOperations.cmx proofEngine.cmx termEditor.cmx \
-    termViewer.cmx invokeTactics.cmi 
-invokeTactics.cmi: termEditor.cmi termViewer.cmi 
-gTopLevel.cmo: applyStylesheets.cmi cic2Xml.cmi cic2acic.cmi \
-    invokeTactics.cmi logicalOperations.cmi mQueryGenerator.cmi \
-    mQueryLevels.cmi mQueryLevels2.cmi misc.cmi proofEngine.cmi sequentPp.cmi \
-    termEditor.cmi termViewer.cmi 
-gTopLevel.cmx: applyStylesheets.cmx cic2Xml.cmx cic2acic.cmx \
-    invokeTactics.cmx logicalOperations.cmx mQueryGenerator.cmx \
-    mQueryLevels.cmx mQueryLevels2.cmx misc.cmx proofEngine.cmx sequentPp.cmx \
-    termEditor.cmx termViewer.cmx 
+applyStylesheets.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cic2acic.cmi /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+termViewer.cmo: applyStylesheets.cmi cic2acic.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gData.cmi \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lablgtk/gaux.cmo \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gtkBase.cmo /usr/lib/ocaml/3.06/hashtbl.cmi \
+    logicalOperations.cmi misc.cmi termViewer.cmi 
+termViewer.cmx: applyStylesheets.cmx cic2acic.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gData.cmx \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmx /usr/lib/ocaml/3.06/lablgtk/gaux.cmx \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gtkBase.cmx /usr/lib/ocaml/3.06/hashtbl.cmx \
+    logicalOperations.cmx misc.cmx termViewer.cmi 
+termViewer.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cic2acic.cmi /usr/lib/ocaml/3.06/lablgtk/gData.cmi \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmi /usr/lib/ocaml/3.06/lablgtk/gtk.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+invokeTactics.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/list.cmi \
+    logicalOperations.cmi /usr/lib/ocaml/3.06/printexc.cmi proofEngine.cmi \
+    termEditor.cmi termViewer.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    invokeTactics.cmi 
+invokeTactics.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi /usr/lib/ocaml/3.06/list.cmx \
+    logicalOperations.cmx /usr/lib/ocaml/3.06/printexc.cmx proofEngine.cmx \
+    termEditor.cmx termViewer.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    invokeTactics.cmi 
+invokeTactics.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    termEditor.cmi termViewer.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+gTopLevel.cmo: applyStylesheets.cmi /usr/lib/ocaml/3.06/arg.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cic2Xml.cmi \
+    cic2acic.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.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_textual_parser/cicTextualParser0.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gBin.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gButton.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gData.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gEdit.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gHtml.cmo \
+    /usr/lib/ocaml/3.06/lablgtk/gList.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gMain.cmi \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathView.cmi \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gMenu.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gMisc.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gPack.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gToolbox.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gWindow.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gdkEvent.cmo \
+    /usr/lib/ocaml/3.06/lablgtk/gdkKeysyms.cmo \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/gdome2/gdomeInit.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gtk.cmo \
+    /usr/lib/ocaml/3.06/lablgtk/gtkMain.cmo invokeTactics.cmi \
+    /usr/lib/ocaml/3.06/lazy.cmi /usr/lib/ocaml/3.06/lexing.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/logger.cmi \
+    logicalOperations.cmi mQueryGenerator.cmi mQueryLevels.cmi \
+    mQueryLevels2.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmi misc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmi \
+    /usr/lib/ocaml/3.06/printexc.cmi proofEngine.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmi \
+    sequentPp.cmi /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmi \
+    /usr/lib/ocaml/3.06/sys.cmi termEditor.cmi termViewer.cmi \
+    /usr/lib/ocaml/3.06/unix.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi 
+gTopLevel.cmx: applyStylesheets.cmx /usr/lib/ocaml/3.06/arg.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx cic2Xml.cmx \
+    cic2acic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicEnvironment.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.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_textual_parser/cicTextualParser0.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/configuration.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gBin.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gButton.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gData.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gEdit.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gHtml.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gList.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gMain.cmx \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathView.cmi \
+    /usr/lib/ocaml/3.06/lablgtkmathview/gMathViewAux.cmi \
+    /usr/lib/ocaml/3.06/lablgtk/gMenu.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gMisc.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gObj.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gPack.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gToolbox.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gWindow.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gdkEvent.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gdkKeysyms.cmx \
+    /usr/lib/ocaml/3.06/gdome2/gdome.cmi \
+    /usr/lib/ocaml/3.06/gdome2/gdomeInit.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gtk.cmx \
+    /usr/lib/ocaml/3.06/lablgtk/gtkMain.cmx invokeTactics.cmx \
+    /usr/lib/ocaml/3.06/lazy.cmx /usr/lib/ocaml/3.06/lexing.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/logger.cmx \
+    logicalOperations.cmx mQueryGenerator.cmx mQueryLevels.cmx \
+    mQueryLevels2.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql/mQueryUtil.cmx misc.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/mathql_interpreter/mqint.cmx \
+    /usr/lib/ocaml/3.06/printexc.cmx proofEngine.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/tactics/proofEngineHelpers.cmx \
+    sequentPp.cmx /usr/lib/ocaml/3.06/str.cmi /usr/lib/ocaml/3.06/string.cmx \
+    /usr/lib/ocaml/3.06/sys.cmx termEditor.cmx termViewer.cmx \
+    /usr/lib/ocaml/3.06/unix.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx 
diff --git a/helm/gTopLevel/Makefile b/helm/gTopLevel/Makefile
index 34b0aec80..bac191eb1 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -4,6 +4,7 @@ REQUIRES = lablgtkmathview helm-cic_textual_parser helm-cic_proof_checking \
            helm-mathql_interpreter
 PREDICATES = "gnome,init,glade"
 OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
+OCAMLDEPOPTIONS = $(shell ocamlfind query -recursive -predicates "$(PREDICATES)" -i-format $(REQUIRES))
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = $(OCAMLFIND) ocamlopt $(OCAMLOPTIONS)
@@ -33,7 +34,7 @@ TOPLEVELOBJS = \
         gTopLevel.cmo
 
 depend:
-	$(OCAMLDEP) $(DEPOBJS) > .depend
+	$(OCAMLDEP) $(OCAMLDEPOPTIONS) $(DEPOBJS) > .depend
 
 gTopLevel: $(TOPLEVELOBJS) $(LIBRARIES)
 	$(OCAMLC) -linkpkg -o gTopLevel $(TOPLEVELOBJS)
diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index db01ff2b5..635f37fea 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -19,7 +19,7 @@ OCAMLYACC = ocamlyacc
 
 LIBRARIES = $(shell ocamlfind query -recursive -predicates "byte $(PREDICATES)" -format "%d/%a" $(REQUIRES))
 LIBRARIES_OPT = $(shell ocamlfind query -recursive -predicates "native $(PREDICATES)" -format "%d/%a" $(REQUIRES))
-
+OCAMLDEPOPTIONS = $(shell ocamlfind query -recursive -predicates "$(PREDICATES)" -i-format $(REQUIRES))
 
 ARCHIVE = $(PACKAGE).cma
 ARCHIVE_OPT = $(PACKAGE).cmxa
@@ -38,7 +38,7 @@ all: $(IMPLEMENTATION_FILES:%.ml=%.cmo) $(ARCHIVE)
 opt: $(IMPLEMENTATION_FILES:%.ml=%.cmx) $(ARCHIVE_OPT)
 
 depend: $(DEPEND_FILES)
-	$(OCAMLDEP) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
+	$(OCAMLDEP) $(OCAMLDEPOPTIONS) $(INTERFACE_FILES) $(IMPLEMENTATION_FILES) > .depend
 
 .SUFFIXES: .ml .mli .cmo .cmi .cmx .mll .mly
 .ml.cmo: $(LIBRARIES)
diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
index 591cea8df..96baed535 100644
--- a/helm/ocaml/cic/.depend
+++ b/helm/ocaml/cic/.depend
@@ -1,12 +1,38 @@
 deannotate.cmi: cic.cmo 
-cicParser3.cmi: cic.cmo 
-cicParser2.cmi: cic.cmo cicParser3.cmi 
+cicParser3.cmi: cic.cmo /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicParser2.cmi: cic.cmo cicParser3.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi 
 cicParser.cmi: cic.cmo 
-deannotate.cmo: cic.cmo deannotate.cmi 
-deannotate.cmx: cic.cmx deannotate.cmi 
-cicParser3.cmo: cic.cmo cicParser3.cmi 
-cicParser3.cmx: cic.cmx cicParser3.cmi 
-cicParser2.cmo: cic.cmo cicParser3.cmi cicParser2.cmi 
-cicParser2.cmx: cic.cmx cicParser3.cmx cicParser2.cmi 
-cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi cicParser.cmi 
-cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx cicParser.cmi 
+cic.cmo: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cic.cmx: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx 
+deannotate.cmo: cic.cmo /usr/lib/ocaml/3.06/list.cmi deannotate.cmi 
+deannotate.cmx: cic.cmx /usr/lib/ocaml/3.06/list.cmx deannotate.cmi 
+cicParser3.cmo: cic.cmo /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicParser3.cmi 
+cicParser3.cmx: cic.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicParser3.cmi 
+cicParser2.cmo: cic.cmo cicParser3.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/str.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicParser2.cmi 
+cicParser2.cmx: cic.cmx cicParser3.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/str.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicParser2.cmi 
+cicParser.cmo: cicParser2.cmi cicParser3.cmi deannotate.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicParser.cmi 
+cicParser.cmx: cicParser2.cmx cicParser3.cmx deannotate.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicParser.cmi 
diff --git a/helm/ocaml/cic_annotations/.depend b/helm/ocaml/cic_annotations/.depend
index 2c30fa7d7..948066bf9 100644
--- a/helm/ocaml/cic_annotations/.depend
+++ b/helm/ocaml/cic_annotations/.depend
@@ -1,8 +1,42 @@
-cicXPath.cmo: cicXPath.cmi 
-cicXPath.cmx: cicXPath.cmi 
-cicAnnotation2Xml.cmo: cicXPath.cmi cicAnnotation2Xml.cmi 
-cicAnnotation2Xml.cmx: cicXPath.cmx cicAnnotation2Xml.cmi 
-cicAnnotationParser2.cmo: cicAnnotationParser2.cmi 
-cicAnnotationParser2.cmx: cicAnnotationParser2.cmi 
-cicAnnotationParser.cmo: cicAnnotationParser2.cmi cicAnnotationParser.cmi 
-cicAnnotationParser.cmx: cicAnnotationParser2.cmx cicAnnotationParser.cmi 
+cicXPath.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi 
+cicAnnotation2Xml.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi 
+cicAnnotationParser2.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi 
+cicAnnotationParser.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi 
+cicXPath.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi cicXPath.cmi 
+cicXPath.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx cicXPath.cmi 
+cicAnnotation2Xml.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicXPath.cmi /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/stream.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmi cicAnnotation2Xml.cmi 
+cicAnnotation2Xml.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicXPath.cmx /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/stream.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/xml/xml.cmx cicAnnotation2Xml.cmi 
+cicAnnotationParser2.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/string.cmi cicAnnotationParser2.cmi 
+cicAnnotationParser2.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/string.cmx cicAnnotationParser2.cmi 
+cicAnnotationParser.cmo: cicAnnotationParser2.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicAnnotationParser.cmi 
+cicAnnotationParser.cmx: cicAnnotationParser2.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/pxp/pxpUrlResolver.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi cicAnnotationParser.cmi 
diff --git a/helm/ocaml/cic_annotations_cache/.depend b/helm/ocaml/cic_annotations_cache/.depend
index 06775e1c6..b300bec61 100644
--- a/helm/ocaml/cic_annotations_cache/.depend
+++ b/helm/ocaml/cic_annotations_cache/.depend
@@ -1,2 +1,15 @@
-cicCache.cmo: cicCache.cmi 
-cicCache.cmx: cicCache.cmi 
+cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicCache.cmo: \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicCache.cmi 
+cicCache.cmx: \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_annotations/cicAnnotationParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicCache.cmi 
diff --git a/helm/ocaml/cic_cache/.depend b/helm/ocaml/cic_cache/.depend
index 06775e1c6..6eb7c8b88 100644
--- a/helm/ocaml/cic_cache/.depend
+++ b/helm/ocaml/cic_cache/.depend
@@ -1,2 +1,10 @@
-cicCache.cmo: cicCache.cmi 
-cicCache.cmx: cicCache.cmi 
+cicCache.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicCache.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicCache.cmi 
+cicCache.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicCache.cmi 
diff --git a/helm/ocaml/cic_proof_checking/.depend b/helm/ocaml/cic_proof_checking/.depend
index c1319a692..d3f4b1960 100644
--- a/helm/ocaml/cic_proof_checking/.depend
+++ b/helm/ocaml/cic_proof_checking/.depend
@@ -1,22 +1,82 @@
-logger.cmo: logger.cmi 
-logger.cmx: logger.cmi 
-cicEnvironment.cmo: logger.cmi cicEnvironment.cmi 
-cicEnvironment.cmx: logger.cmx cicEnvironment.cmi 
-cicPp.cmo: cicEnvironment.cmi cicPp.cmi 
-cicPp.cmx: cicEnvironment.cmx cicPp.cmi 
-cicSubstitution.cmo: cicEnvironment.cmi cicSubstitution.cmi 
-cicSubstitution.cmx: cicEnvironment.cmx cicSubstitution.cmi 
-cicMiniReduction.cmo: cicSubstitution.cmi cicMiniReduction.cmi 
-cicMiniReduction.cmx: cicSubstitution.cmx cicMiniReduction.cmi 
-cicReductionNaif.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
+logger.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicEnvironment.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicPp.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicSubstitution.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicMiniReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicReductionNaif.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicReduction.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicTypeChecker.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+logger.cmo: /usr/lib/ocaml/3.06/string.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    logger.cmi 
+logger.cmx: /usr/lib/ocaml/3.06/string.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    logger.cmi 
+cicEnvironment.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/list.cmi logger.cmi \
+    /usr/lib/ocaml/3.06/unix.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicEnvironment.cmi 
+cicEnvironment.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cicParser.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/getter.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/list.cmx logger.cmx \
+    /usr/lib/ocaml/3.06/unix.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicEnvironment.cmi 
+cicPp.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicEnvironment.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/string.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicPp.cmi 
+cicPp.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicEnvironment.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/string.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicPp.cmi 
+cicSubstitution.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicEnvironment.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicSubstitution.cmi 
+cicSubstitution.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicEnvironment.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicSubstitution.cmi 
+cicMiniReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicSubstitution.cmi /usr/lib/ocaml/3.06/list.cmi cicMiniReduction.cmi 
+cicMiniReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicSubstitution.cmx /usr/lib/ocaml/3.06/list.cmx cicMiniReduction.cmi 
+cicReductionNaif.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
     cicReductionNaif.cmi 
-cicReductionNaif.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
+cicReductionNaif.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
     cicReductionNaif.cmi 
-cicReduction.cmo: cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
+cicReduction.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicEnvironment.cmi cicPp.cmi cicSubstitution.cmi \
+    /usr/lib/ocaml/3.06/lazy.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
     cicReduction.cmi 
-cicReduction.cmx: cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
+cicReduction.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicEnvironment.cmx cicPp.cmx cicSubstitution.cmx \
+    /usr/lib/ocaml/3.06/lazy.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
     cicReduction.cmi 
-cicTypeChecker.cmo: cicEnvironment.cmi cicPp.cmi cicReduction.cmi \
-    cicSubstitution.cmi logger.cmi cicTypeChecker.cmi 
-cicTypeChecker.cmx: cicEnvironment.cmx cicPp.cmx cicReduction.cmx \
-    cicSubstitution.cmx logger.cmx cicTypeChecker.cmi 
+cicTypeChecker.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicEnvironment.cmi cicPp.cmi cicReduction.cmi cicSubstitution.cmi \
+    /usr/lib/ocaml/3.06/list.cmi logger.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicTypeChecker.cmi 
+cicTypeChecker.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicEnvironment.cmx cicPp.cmx cicReduction.cmx cicSubstitution.cmx \
+    /usr/lib/ocaml/3.06/list.cmx logger.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicTypeChecker.cmi 
diff --git a/helm/ocaml/cic_textual_parser/.depend b/helm/ocaml/cic_textual_parser/.depend
index d7aabf85c..745302974 100644
--- a/helm/ocaml/cic_textual_parser/.depend
+++ b/helm/ocaml/cic_textual_parser/.depend
@@ -1,10 +1,32 @@
-cicTextualParser.cmi: cicTextualParser0.cmo 
-cicTextualParserContext.cmi: cicTextualParser.cmi cicTextualParser0.cmo 
-cicTextualParser.cmo: cicTextualParser0.cmo cicTextualParser.cmi 
-cicTextualParser.cmx: cicTextualParser0.cmx cicTextualParser.cmi 
+cicTextualParser.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicTextualParserContext.cmi: \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo cicTextualParser.cmi \
+    cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi 
+cicTextualParser0.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicTextualParser0.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx 
+cicTextualParser.cmo: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicTextualParser0.cmo /usr/lib/ocaml/3.06/lexing.cmi \
+    /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/obj.cmi \
+    /usr/lib/ocaml/3.06/parsing.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicTextualParser.cmi 
+cicTextualParser.cmx: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmx \
+    cicTextualParser0.cmx /usr/lib/ocaml/3.06/lexing.cmx \
+    /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/obj.cmx \
+    /usr/lib/ocaml/3.06/parsing.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicTextualParser.cmi 
 cicTextualParserContext.cmo: cicTextualParser.cmi cicTextualParser0.cmo \
     cicTextualParserContext.cmi 
 cicTextualParserContext.cmx: cicTextualParser.cmx cicTextualParser0.cmx \
     cicTextualParserContext.cmi 
-cicTextualLexer.cmo: cicTextualParser.cmi 
-cicTextualLexer.cmx: cicTextualParser.cmx 
+cicTextualLexer.cmo: cicTextualParser.cmi /usr/lib/ocaml/3.06/lexing.cmi \
+    /usr/lib/ocaml/3.06/string.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+cicTextualLexer.cmx: cicTextualParser.cmx /usr/lib/ocaml/3.06/lexing.cmx \
+    /usr/lib/ocaml/3.06/string.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx 
diff --git a/helm/ocaml/cic_unification/.depend b/helm/ocaml/cic_unification/.depend
index d22689dce..93fa68033 100644
--- a/helm/ocaml/cic_unification/.depend
+++ b/helm/ocaml/cic_unification/.depend
@@ -1,5 +1,37 @@
-cicRefine.cmi: cicUnification.cmi 
-cicUnification.cmo: cicUnification.cmi 
-cicUnification.cmx: cicUnification.cmi 
-cicRefine.cmo: cicUnification.cmi cicRefine.cmi 
-cicRefine.cmx: cicUnification.cmx cicRefine.cmi 
+cicUnification.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo 
+cicRefine.cmi: /home/fguidi/miohelm_natile/helm/ocaml/cic/cic.cmo \
+    cicUnification.cmi 
+cicUnification.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_proof_checking/cicSubstitution.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmi \
+    /usr/lib/ocaml/3.06/list.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicUnification.cmi 
+cicUnification.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 \
+    /home/fguidi/miohelm_natile/helm/ocaml/cic_proof_checking/cicTypeChecker.cmx \
+    /usr/lib/ocaml/3.06/list.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicUnification.cmi 
+cicRefine.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 \
+    cicUnification.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/printexc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    cicRefine.cmi 
+cicRefine.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 \
+    cicUnification.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/printexc.cmx \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    cicRefine.cmi 
diff --git a/helm/ocaml/getter/.depend b/helm/ocaml/getter/.depend
index 2013e9b3e..9cdf013b9 100644
--- a/helm/ocaml/getter/.depend
+++ b/helm/ocaml/getter/.depend
@@ -1,6 +1,29 @@
-configuration.cmo: configuration.cmi 
-configuration.cmx: configuration.cmi 
-clientHTTP.cmo: configuration.cmi clientHTTP.cmi 
-clientHTTP.cmx: configuration.cmx clientHTTP.cmi 
-getter.cmo: clientHTTP.cmi configuration.cmi getter.cmi 
-getter.cmx: clientHTTP.cmx configuration.cmx getter.cmi 
+getter.cmi: /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi 
+configuration.cmo: /usr/lib/ocaml/3.06/hashtbl.cmi \
+    /usr/lib/ocaml/3.06/list.cmi /usr/lib/ocaml/3.06/printf.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi \
+    configuration.cmi 
+configuration.cmx: /usr/lib/ocaml/3.06/hashtbl.cmx \
+    /usr/lib/ocaml/3.06/list.cmx /usr/lib/ocaml/3.06/printf.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_document.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx \
+    configuration.cmi 
+clientHTTP.cmo: configuration.cmi \
+    /usr/lib/ocaml/3.06/netclient/http_client.cmi \
+    /usr/lib/ocaml/3.06/string.cmi /usr/lib/ocaml/3.06/sys.cmi clientHTTP.cmi 
+clientHTTP.cmx: configuration.cmx \
+    /usr/lib/ocaml/3.06/netclient/http_client.cmi \
+    /usr/lib/ocaml/3.06/string.cmx /usr/lib/ocaml/3.06/sys.cmx clientHTTP.cmi 
+getter.cmo: clientHTTP.cmi configuration.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmi \
+    getter.cmi 
+getter.cmx: clientHTTP.cmx configuration.cmx \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_yacc.cmi \
+    /home/fguidi/miohelm_natile/helm/ocaml/urimanager/uriManager.cmx \
+    getter.cmi 
diff --git a/helm/ocaml/pxp/.depend b/helm/ocaml/pxp/.depend
index c2a1a4be6..406793a1b 100644
--- a/helm/ocaml/pxp/.depend
+++ b/helm/ocaml/pxp/.depend
@@ -1,2 +1,13 @@
-pxpUrlResolver.cmo: pxpUrlResolver.cmi 
-pxpUrlResolver.cmx: pxpUrlResolver.cmi 
+pxpUrlResolver.cmi: /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi 
+pxpUrlResolver.cmo: \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/clientHTTP.cmi \
+    /usr/lib/ocaml/3.06/hashtbl.cmi /usr/lib/ocaml/3.06/netstring/neturl.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/unix.cmi \
+    pxpUrlResolver.cmi 
+pxpUrlResolver.cmx: \
+    /home/fguidi/miohelm_natile/helm/ocaml/getter/clientHTTP.cmx \
+    /usr/lib/ocaml/3.06/hashtbl.cmx /usr/lib/ocaml/3.06/netstring/neturl.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_reader.cmi \
+    /usr/lib/ocaml/3.06/pxp-engine/pxp_types.cmi /usr/lib/ocaml/3.06/unix.cmi \
+    pxpUrlResolver.cmi 
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 
diff --git a/helm/ocaml/urimanager/.depend b/helm/ocaml/urimanager/.depend
index 482148423..13e060146 100644
--- a/helm/ocaml/urimanager/.depend
+++ b/helm/ocaml/urimanager/.depend
@@ -1,2 +1,4 @@
-uriManager.cmo: uriManager.cmi 
-uriManager.cmx: uriManager.cmi 
+uriManager.cmo: /usr/lib/ocaml/3.06/array.cmi /usr/lib/ocaml/3.06/list.cmi \
+    /usr/lib/ocaml/3.06/map.cmi /usr/lib/ocaml/3.06/str.cmi uriManager.cmi 
+uriManager.cmx: /usr/lib/ocaml/3.06/array.cmx /usr/lib/ocaml/3.06/list.cmx \
+    /usr/lib/ocaml/3.06/map.cmx /usr/lib/ocaml/3.06/str.cmi uriManager.cmi