coq/theories/IntMap, branch master

migration of the old IntMap library from StdLib to a user contrib (Cachan/IntMap)

2008-03-19T20:56:43+00:00

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

migration from Set to Type of FSet/FMap + some dependencies...

2008-03-04T17:33:35+00:00

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

Extension of NArith: Nminus, Nmin, etc

2007-06-07T18:44:59+00:00

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

Suppression des fichiers .cvsignore, rendus obsolètes par le systèmes des 'properties' de Subversion

2006-04-28T10:34:25+00:00

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

Un gros coup de lifting pour IntMap:

2006-04-25T22:52:18+00:00

 * le type ad des adresses est maintenant un alias vers 
   le N de NArith, qui lui est isomorphe. 

 * toutes les operations sur ces adresses (p.ex. un xor 
   bit a bit) sont maintenant dans de nouveaux fichiers du 
   repertoire NArith. 
 
 * Intmap utilise maintenant le meme type option que le 
   reste du monde
 
 * etc etc...

Tout ceci ne preserve pas forcement la compatibilite. Les 4 contribs
utilisant Intmap sont adaptees en consequence. Me demander si besoin 
ma moulinette d'adaptation (incomplete). 



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

Nouvelle en-tête

2004-07-16T20:01:26+00:00

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

Remplacement des fichiers .v ancienne syntaxe de theories, contrib et states par les fichiers nouvelle syntaxe

2003-11-29T17:28:49+00:00

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

On sait jamais

2003-11-12T16:25:16+00:00

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

Cacher les .v8

2003-10-03T23:09:28+00:00

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

Destruct/Induction -> NewDestruct/NewInduction

2003-09-24T08:54:16+00:00

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