From: Ferruccio Guidi <ferruccio.guidi@unibo.it>
Date: Wed, 5 Feb 2003 11:42:52 +0000 (+0000)
Subject: packege dependences calculation patched
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1a177a0ccffd1481f77dabaafced91c4d293b1fb;p=helm.git

packege dependences calculation patched
---

diff --git a/helm/gTopLevel/.depend b/helm/gTopLevel/.depend
deleted file mode 100644
index f9b8ac114..000000000
--- a/helm/gTopLevel/.depend
+++ /dev/null
@@ -1,353 +0,0 @@
-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 \
-    /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: /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 bac191eb1..5f630f23c 100644
--- a/helm/gTopLevel/Makefile
+++ b/helm/gTopLevel/Makefile
@@ -61,4 +61,6 @@ uninstall:
 
 .PHONY: install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif
diff --git a/helm/gTopLevel/topLevel/.depend b/helm/gTopLevel/topLevel/.depend
deleted file mode 100644
index 6ca33a924..000000000
--- a/helm/gTopLevel/topLevel/.depend
+++ /dev/null
@@ -1,4 +0,0 @@
-topLevel.cmo: ../mQueryGenerator.cmi ../../ocaml/mathql/mQueryUtil.cmi \
-    ../../ocaml/mathql_interpreter/mqint.cmi 
-topLevel.cmx: ../mQueryGenerator.cmx ../../ocaml/mathql/mQueryUtil.cmx \
-    ../../ocaml/mathql_interpreter/mqint.cmx 
diff --git a/helm/gTopLevel/topLevel/Makefile b/helm/gTopLevel/topLevel/Makefile
index 1245ae089..a78019a81 100644
--- a/helm/gTopLevel/topLevel/Makefile
+++ b/helm/gTopLevel/topLevel/Makefile
@@ -2,6 +2,7 @@ BIN_DIR = /usr/local/bin
 REQUIRES = helm-urimanager helm-cic_textual_parser helm-cic_proof_checking helm-mathql helm-mathql_interpreter
 PREDICATES =
 OCAMLOPTIONS = -I .. -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLDEPOPTIONS = $(shell ocamlfind query -recursive -predicates "$(PREDICATES)" -i-format $(REQUIRES))
 OCAMLC = ocamlfind ocamlc $(OCAMLOPTIONS)
 OCAMLOPT = ocamlfind ocamlopt $(OCAMLOPTIONS)
 OCAMLDEP = ocamldep -I .. -I ../../ocaml/mathql_interpreter -I ../../ocaml/mathql
@@ -17,7 +18,7 @@ DEPOBJS = topLevel.ml
 TOPLEVELOBJS = ../mQueryLevels.cmo ../mQueryGenerator.cmo topLevel.cmo
 
 depend:
-	$(OCAMLDEP) $(DEPOBJS) > .depend
+	$(OCAMLDEP) $(OCAMLDEPOPTIONS) $(DEPOBJS) > .depend
 
 topLevel: $(TOPLEVELOBJS) $(LIBRARIES)
 	$(OCAMLC)  -linkpkg -o topLevel $(TOPLEVELOBJS)
@@ -44,4 +45,6 @@ uninstall:
 
 .PHONY: install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif
diff --git a/helm/ocaml/Makefile.common.in b/helm/ocaml/Makefile.common.in
index 635f37fea..519b2ea9a 100644
--- a/helm/ocaml/Makefile.common.in
+++ b/helm/ocaml/Makefile.common.in
@@ -67,4 +67,6 @@ uninstall:
 
 .PHONY: all opt depend install uninstall clean
 
-include .depend
+ifneq ($(MAKECMDGOALS), depend)
+   include .depend   
+endif
diff --git a/helm/ocaml/cic/.depend b/helm/ocaml/cic/.depend
deleted file mode 100644
index 96baed535..000000000
--- a/helm/ocaml/cic/.depend
+++ /dev/null
@@ -1,38 +0,0 @@
-deannotate.cmi: cic.cmo 
-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 
-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
deleted file mode 100644
index 948066bf9..000000000
--- a/helm/ocaml/cic_annotations/.depend
+++ /dev/null
@@ -1,42 +0,0 @@
-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
deleted file mode 100644
index b300bec61..000000000
--- a/helm/ocaml/cic_annotations_cache/.depend
+++ /dev/null
@@ -1,15 +0,0 @@
-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
deleted file mode 100644
index 6eb7c8b88..000000000
--- a/helm/ocaml/cic_cache/.depend
+++ /dev/null
@@ -1,10 +0,0 @@
-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
deleted file mode 100644
index d3f4b1960..000000000
--- a/helm/ocaml/cic_proof_checking/.depend
+++ /dev/null
@@ -1,82 +0,0 @@
-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: /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: /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: /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: /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
deleted file mode 100644
index 745302974..000000000
--- a/helm/ocaml/cic_textual_parser/.depend
+++ /dev/null
@@ -1,32 +0,0 @@
-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 /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
deleted file mode 100644
index 93fa68033..000000000
--- a/helm/ocaml/cic_unification/.depend
+++ /dev/null
@@ -1,37 +0,0 @@
-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
deleted file mode 100644
index 9cdf013b9..000000000
--- a/helm/ocaml/getter/.depend
+++ /dev/null
@@ -1,29 +0,0 @@
-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
deleted file mode 100644
index 406793a1b..000000000
--- a/helm/ocaml/pxp/.depend
+++ /dev/null
@@ -1,13 +0,0 @@
-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
deleted file mode 100644
index f14137fd7..000000000
--- a/helm/ocaml/tactics/.depend
+++ /dev/null
@@ -1,252 +0,0 @@
-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: /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: /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 
-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: \
-    /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: /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: /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: /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: /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: /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: /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: /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 \
-    /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 \
-    /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
deleted file mode 100644
index 13e060146..000000000
--- a/helm/ocaml/urimanager/.depend
+++ /dev/null
@@ -1,4 +0,0 @@
-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 
diff --git a/helm/ocaml/xml/.depend b/helm/ocaml/xml/.depend
deleted file mode 100644
index bc6941bdf..000000000
--- a/helm/ocaml/xml/.depend
+++ /dev/null
@@ -1,2 +0,0 @@
-xml.cmo: xml.cmi 
-xml.cmx: xml.cmi