MAJ

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5023 85f007b7-540e-0410-9357-904b9bb8a0f7

2 files changed, 4 insertions, 4 deletions

diff --git a/.depend.coq b/.depend.coq
index b7790ed72..6d8bb59e2 100644
--- a/.depend.coq
+++ b/.depend.coq
@@ -129,7 +129,7 @@ theories/ZArith/Znat.vo: theories/ZArith/Znat.v theories/Arith/Arith.vo theories
 theories/ZArith/Zmisc.vo: theories/ZArith/Zmisc.v theories/ZArith/BinInt.vo theories/ZArith/Zcompare.vo theories/ZArith/Zorder.vo theories/ZArith/Zsyntax.vo theories/Bool/Bool.vo theories/ZArith/Zbool.vo theories/ZArith/Zeven.vo theories/ZArith/Zabs.vo theories/ZArith/Zmin.vo
 theories/ZArith/zarith_aux.vo: theories/ZArith/zarith_aux.v theories/ZArith/BinInt.vo theories/ZArith/Zcompare.vo theories/ZArith/Zorder.vo theories/ZArith/Zmin.vo theories/ZArith/Zabs.vo
 theories/ZArith/Zorder.vo: theories/ZArith/Zorder.v theories/NArith/BinPos.vo theories/ZArith/BinInt.vo theories/Arith/Arith.vo theories/Logic/Decidable.vo theories/ZArith/Zsyntax.vo theories/ZArith/Zcompare.vo
-theories/ZArith/Zabs.vo: theories/ZArith/Zabs.v theories/Arith/Arith.vo theories/NArith/BinPos.vo theories/ZArith/BinInt.vo theories/ZArith/Zorder.vo
+theories/ZArith/Zabs.vo: theories/ZArith/Zabs.v theories/Arith/Arith.vo theories/NArith/BinPos.vo theories/ZArith/BinInt.vo theories/ZArith/Zorder.vo theories/ZArith/Zsyntax.vo theories/ZArith/ZArith_dec.vo
 theories/ZArith/Zmin.vo: theories/ZArith/Zmin.v theories/Arith/Arith.vo theories/ZArith/BinInt.vo theories/ZArith/Zcompare.vo theories/ZArith/Zorder.vo
 theories/ZArith/Zeven.vo: theories/ZArith/Zeven.v theories/ZArith/BinInt.vo theories/ZArith/Zsyntax.vo
 theories/ZArith/Zhints.vo: theories/ZArith/Zhints.v theories/ZArith/BinInt.vo theories/ZArith/Zorder.vo theories/ZArith/Zmin.vo theories/ZArith/Zabs.vo theories/ZArith/Zcompare.vo theories/ZArith/Znat.vo theories/ZArith/auxiliary.vo theories/ZArith/Zsyntax.vo theories/ZArith/Zmisc.vo theories/ZArith/Wf_Z.vo
@@ -290,4 +290,4 @@ contrib/correctness/Sorted.vo: contrib/correctness/Sorted.v contrib/correctness/
 contrib/correctness/Tuples.vo: contrib/correctness/Tuples.v
 contrib/fourier/Fourier_util.vo: contrib/fourier/Fourier_util.v theories/Reals/Rbase.vo
 contrib/fourier/Fourier.vo: contrib/fourier/Fourier.v contrib/ring/quote.cmo contrib/ring/ring.cmo contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo contrib/field/field.cmo contrib/fourier/Fourier_util.vo contrib/field/Field.vo theories/Reals/DiscrR.vo
-contrib/cc/CC.vo: contrib/cc/CC.v
+contrib/cc/CCSolve.vo: contrib/cc/CCSolve.v
diff --git a/.depend.newcoq b/.depend.newcoq
index edb72a828..fafa10a07 100644
--- a/.depend.newcoq
+++ b/.depend.newcoq
@@ -129,7 +129,7 @@ newtheories/ZArith/Znat.vo: newtheories/ZArith/Znat.v newtheories/Arith/Arith.vo
 newtheories/ZArith/Zmisc.vo: newtheories/ZArith/Zmisc.v newtheories/ZArith/BinInt.vo newtheories/ZArith/Zcompare.vo newtheories/ZArith/Zorder.vo newtheories/ZArith/Zsyntax.vo newtheories/Bool/Bool.vo newtheories/ZArith/Zbool.vo newtheories/ZArith/Zeven.vo newtheories/ZArith/Zabs.vo newtheories/ZArith/Zmin.vo
 newtheories/ZArith/zarith_aux.vo: newtheories/ZArith/zarith_aux.v newtheories/ZArith/BinInt.vo newtheories/ZArith/Zcompare.vo newtheories/ZArith/Zorder.vo newtheories/ZArith/Zmin.vo newtheories/ZArith/Zabs.vo
 newtheories/ZArith/Zorder.vo: newtheories/ZArith/Zorder.v newtheories/NArith/BinPos.vo newtheories/ZArith/BinInt.vo newtheories/Arith/Arith.vo newtheories/Logic/Decidable.vo newtheories/ZArith/Zsyntax.vo newtheories/ZArith/Zcompare.vo
-newtheories/ZArith/Zabs.vo: newtheories/ZArith/Zabs.v newtheories/Arith/Arith.vo newtheories/NArith/BinPos.vo newtheories/ZArith/BinInt.vo newtheories/ZArith/Zorder.vo
+newtheories/ZArith/Zabs.vo: newtheories/ZArith/Zabs.v newtheories/Arith/Arith.vo newtheories/NArith/BinPos.vo newtheories/ZArith/BinInt.vo newtheories/ZArith/Zorder.vo newtheories/ZArith/Zsyntax.vo newtheories/ZArith/ZArith_dec.vo
 newtheories/ZArith/Zmin.vo: newtheories/ZArith/Zmin.v newtheories/Arith/Arith.vo newtheories/ZArith/BinInt.vo newtheories/ZArith/Zcompare.vo newtheories/ZArith/Zorder.vo
 newtheories/ZArith/Zeven.vo: newtheories/ZArith/Zeven.v newtheories/ZArith/BinInt.vo newtheories/ZArith/Zsyntax.vo
 newtheories/ZArith/Zhints.vo: newtheories/ZArith/Zhints.v newtheories/ZArith/BinInt.vo newtheories/ZArith/Zorder.vo newtheories/ZArith/Zmin.vo newtheories/ZArith/Zabs.vo newtheories/ZArith/Zcompare.vo newtheories/ZArith/Znat.vo newtheories/ZArith/auxiliary.vo newtheories/ZArith/Zsyntax.vo newtheories/ZArith/Zmisc.vo newtheories/ZArith/Wf_Z.vo
@@ -290,4 +290,4 @@ newcontrib/correctness/Sorted.vo: newcontrib/correctness/Sorted.v newcontrib/cor
 newcontrib/correctness/Tuples.vo: newcontrib/correctness/Tuples.v
 newcontrib/fourier/Fourier_util.vo: newcontrib/fourier/Fourier_util.v newtheories/Reals/Rbase.vo
 newcontrib/fourier/Fourier.vo: newcontrib/fourier/Fourier.v contrib/ring/quote.cmo contrib/ring/ring.cmo contrib/fourier/fourier.cmo contrib/fourier/fourierR.cmo contrib/field/field.cmo newcontrib/fourier/Fourier_util.vo newcontrib/field/Field.vo newtheories/Reals/DiscrR.vo
-newcontrib/cc/CC.vo: newcontrib/cc/CC.v
+newcontrib/cc/CCSolve.vo: newcontrib/cc/CCSolve.v