Un gros coup de lifting pour IntMap:

 * 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

0 files changed, 0 insertions, 0 deletions