Backtrack vers comportement de la V6 pour eviter les globaux dans le nommage des variables
Backtrack vers comportement de la V6 pour eviter les globaux dans le nommage des variables


git-svn-id: a49b465eaba45b67e2e1e4e0b2c256a71f59fecb@1776 85f007b7-540e-0410-9357-904b9bb8a0f7

SamB/coq