- 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