La mise en forme normale du prédicat d'élimination était un peu trop violente pour la compatibilité de la synthèse des evars
La mise en forme normale du prédicat d'élimination était un peu trop violente pour la compatibilité de la synthèse des evars


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

SamB/coq