Uniformisation comportement decompEq pour corriger un bug introduit dans le Inversion acceptant le nommage des hypotheses
Uniformisation comportement decompEq pour corriger un bug introduit dans le Inversion acceptant le nommage des hypotheses


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

SamB/coq