Différences V7.0beta / V7.0

- Ajout de déclarations locales aux Record (record à la Randy).

- Correction de bugs (Identity Coercion; Rel not in scope of ?).

----------------------------------------------------------------------
English version of changes is available on

  http:coq.inria.fr

and

  ftp://ftp.inria.fr/INRIA/coq/V7.0/Changes.ps