diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-05 16:46:17 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-12-05 16:46:17 +0000 |
| commit | 72facd6b5e56c581f4c560a487ca40876cde12d7 (patch) | |
| tree | b94bbd4b587cad22cbf40a5ecb2c7be466815893 | |
| parent | 03e2f7a1bf6ee15608aceb455e0c30a2780eff56 (diff) | |
MAJ
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@6402 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | .depend.coq7 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.depend.coq7 b/.depend.coq7 index 452c951ff..895a95069 100644 --- a/.depend.coq7 +++ b/.depend.coq7 @@ -219,9 +219,9 @@ contrib7/ring/NArithRing.vo: contrib7/ring/NArithRing.v contrib7/ring/Ring.vo th contrib7/ring/ZArithRing.vo: contrib7/ring/ZArithRing.v contrib7/ring/ArithRing.vo theories7/ZArith/ZArith_base.vo theories7/Logic/Eqdep_dec.vo contrib7/ring/Ring_abstract.vo: contrib7/ring/Ring_abstract.v contrib7/ring/Ring_theory.vo contrib7/ring/Quote.vo contrib7/ring/Ring_normalize.vo contrib7/ring/Quote.vo: contrib7/ring/Quote.v -contrib7/ring/Setoid_ring_normalize.vo: contrib7/ring/Setoid_ring_normalize.v contrib7/ring/Setoid_ring_theory.vo contrib7/ring/Quote.vo +contrib7/ring/Setoid_ring_normalize.vo: contrib7/ring/Setoid_ring_normalize.v contrib7/ring/Setoid_ring.vo: contrib7/ring/Setoid_ring.v contrib7/ring/Setoid_ring_theory.vo contrib7/ring/Quote.vo contrib7/ring/Setoid_ring_normalize.vo -contrib7/ring/Setoid_ring_theory.vo: contrib7/ring/Setoid_ring_theory.v theories7/Bool/Bool.vo theories7/Setoids/Setoid.vo +contrib7/ring/Setoid_ring_theory.vo: contrib7/ring/Setoid_ring_theory.v contrib7/field/Field_Compl.vo: contrib7/field/Field_Compl.v contrib7/field/Field_Theory.vo: contrib7/field/Field_Theory.v theories7/Arith/Peano_dec.vo contrib7/ring/Ring.vo contrib7/field/Field_Compl.vo contrib7/field/Field_Tactic.vo: contrib7/field/Field_Tactic.v contrib7/ring/Ring.vo contrib7/field/Field_Compl.vo contrib7/field/Field_Theory.vo |