diff options
| author | herbelin | 2006-06-09 14:08:38 +0000 |
|---|---|---|
| committer | herbelin | 2006-06-09 14:08:38 +0000 |
| commit | ca13fb40562c9d664aa4f363755eab6e5f2eeaa5 (patch) | |
| tree | a58e8cd8dc25955727191de22bf3ac7627a3d27e /Makefile | |
| parent | 2c1a2d07ab57e257ac84e3ab2c6706b47f52c68d (diff) | |
Déplacement Int.v dans ZArith, déplacement de DecidableType.v et DecidableTypeEx.v dans Logic
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8933 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -823,7 +823,8 @@ LOGICVO=\ theories/Logic/ClassicalChoice.vo theories/Logic/ClassicalDescription.vo \ theories/Logic/RelationalChoice.vo theories/Logic/Diaconescu.vo \ theories/Logic/EqdepFacts.vo theories/Logic/ProofIrrelevanceFacts.vo \ - theories/Logic/ClassicalEpsilon.vo theories/Logic/ClassicalUniqueChoice.vo + theories/Logic/ClassicalEpsilon.vo theories/Logic/ClassicalUniqueChoice.vo \ + theories/Logic/DecidableType.vo theories/Logic/DecidableTypeEx.vo ARITHVO=\ theories/Arith/Arith.vo theories/Arith/Gt.vo \ @@ -868,7 +869,7 @@ ZARITHVO=\ theories/ZArith/Zdiv.vo theories/ZArith/Zsqrt.vo \ theories/ZArith/Zwf.vo theories/ZArith/ZArith_base.vo \ theories/ZArith/Zbool.vo theories/ZArith/Zbinary.vo \ - theories/ZArith/Znumtheory.vo + theories/ZArith/Znumtheory.vo theories/ZArith/Int.vo QARITHVO=\ theories/QArith/QArith_base.vo theories/QArith/Qreduction.vo \ @@ -898,7 +899,6 @@ SETSVO=\ theories/Sets/Partial_Order.vo theories/Sets/Uniset.vo FSETSBASEVO=\ - theories/FSets/DecidableType.vo theories/FSets/DecidableTypeEx.vo \ theories/FSets/OrderedType.vo \ theories/FSets/OrderedTypeEx.vo theories/FSets/OrderedTypeAlt.vo \ theories/FSets/FSetInterface.vo theories/FSets/FSetList.vo \ @@ -912,8 +912,7 @@ FSETSBASEVO=\ theories/FSets/FMapWeakFacts.vo \ theories/FSets/FMapWeakInterface.vo theories/FSets/FMapWeakList.vo \ theories/FSets/FMapWeak.vo theories/FSets/FMapPositive.vo \ - theories/FSets/FMapIntMap.vo theories/FSets/FSetToFiniteSet.vo \ - theories/FSets/Int.vo \ + theories/FSets/FMapIntMap.vo theories/FSets/FSetToFiniteSet.vo FSETS_basic= |