diff options
| author | mohring | 2001-04-08 17:19:21 +0000 |
|---|---|---|
| committer | mohring | 2001-04-08 17:19:21 +0000 |
| commit | 2da547dfc9e5b98e366da2fc959e9d812bdf25b0 (patch) | |
| tree | c26625e619e9df061a8383c86e3f83f0dde0f3ea /Makefile | |
| parent | d41db01560cb49974af197d22dabc367c71a64ed (diff) | |
Ajout lemmes arithmetiques
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1557 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 13 insertions, 2 deletions
@@ -338,7 +338,7 @@ clean:: LOGICVO=theories/Logic/Classical.vo theories/Logic/Classical_Type.vo \ theories/Logic/Classical_Pred_Set.vo theories/Logic/Eqdep.vo \ theories/Logic/Classical_Pred_Type.vo theories/Logic/Classical_Prop.vo \ - theories/Logic/Eqdep_dec.vo + theories/Logic/Eqdep_dec.vo theories/Logic/Decidable.vo ARITHVO=theories/Arith/Arith.vo theories/Arith/Gt.vo \ theories/Arith/Between.vo theories/Arith/Le.vo \ @@ -375,6 +375,16 @@ SETSVO=theories/Sets/Classical_sets.vo theories/Sets/Permut.vo \ theories/Sets/Multiset.vo theories/Sets/Relations_3_facts.vo \ theories/Sets/Partial_Order.vo theories/Sets/Uniset.vo +INTMAPVO=theories/IntMap/Adalloc.vo theories/IntMap/Mapcanon.vo \ +theories/IntMap/Addec.vo theories/IntMap/Mapcard.vo \ +theories/IntMap/Addr.vo theories/IntMap/Mapc.vo \ +theories/IntMap/Adist.vo theories/IntMap/Mapfold.vo \ +theories/IntMap/Allmaps.vo theories/IntMap/Mapiter.vo \ +theories/IntMap/Fset.vo theories/IntMap/Maplists.vo \ +theories/IntMap/Lsort.vo theories/IntMap/Mapsubset.vo \ +theories/IntMap/Mapaxioms.vo theories/IntMap/Map.vo \ + + RELATIONSVO=theories/Relations/Newman.vo \ theories/Relations/Operators_Properties.vo \ theories/Relations/Relation_Definitions.vo \ @@ -400,7 +410,7 @@ REALSVO=theories/Reals/TypeSyntax.vo \ theories/Reals/Rderiv.vo theories/Reals/Reals.vo THEORIESVO = $(LOGICVO) $(ARITHVO) $(BOOLVO) $(ZARITHVO) $(LISTSVO) \ - $(SETSVO) $(RELATIONSVO) $(WELLFOUNDEDVO) $(REALSVO) + $(SETSVO) $(INTMAPVO) $(RELATIONSVO) $(WELLFOUNDEDVO) $(REALSVO) $(THEORIESVO): states/initial.coq @@ -412,6 +422,7 @@ bool: $(BOOLVO) zarith: $(ZARITHVO) lists: $(LISTSVO) sets: $(SETSVO) +intmap: $(INTMAPVO) relations: $(RELATIONSVO) wellfounded: $(WELLFOUNDEDVO) reals: $(REALSVO) |