Protection contre une source possible de liaison de lambda anonyme (utilisation du nom de la contrainte de type)
Protection contre une source possible de liaison de lambda anonyme
(utilisation du nom de la contrainte de type)


git-svn-id: 44dc50bdcc0f5d1a212c497508dc9452e0b35e2b@9468 85f007b7-540e-0410-9357-904b9bb8a0f7

herbelin/coq-hh,silene/coq,JasonGross/coq,TheTypoMaster/coq,letouzey/coq-wip,8l/coq,asr/coq,tomprince/coq,coq/coq,asr/coq,ppedrot/coq,ppedrot/coq,mattam82/coq,jhjourdan/coq,barras/coq,herbelin/github-coq,coq/coq,TOSPIO/coq,TOSPIO/coq,ale-f/coq,TheTypoMaster/coq,herbelin/github-coq,gmalecha/coq,tomprince/coq,ppedrot/coq,shindere/coq,JasonGross/coq,mlasson/coq,Zimmi48/coq,jpdeplaix/coq,gares/coq,SkySkimmer/coq,mattam82/Coq-misc,shindere/coq,pirapira/coq2rust,pirbo/coq,ejgallego/coq,barras/coq,ejgallego/coq,SkySkimmer/coq,gares/coq,Ptival/coq,aspiwack/coq,mlasson/coq,mattam82/coq,Zimmi48/coq,herbelin/coq-hh,letouzey/coq-wip,Matafou/coq,Ptival/coq,asr/coq,mattam82/Coq-misc,Matafou/coq,TOSPIO/coq,coq/coq,maximedenes/coq,aspiwack/coq,8l/coq,Lionel-Rieg/coq,SkySkimmer/coq,jhjourdan/coq,coq/coq,letouzey/coq-wip,maximedenes/coq,ppedrot/coq,Lionel-Rieg/coq,gares/coq,Matafou/coq,amintimany/coq,tomprince/coq,ale-f/coq,JasonGross/coq,mlasson/coq,letouzey/coq-wip,Lionel-Rieg/coq,8l/coq,jpdeplaix/coq,barras/coq,amintimany/coq,Zimmi48/coq,ejgallego/coq,shindere/coq,pirbo/coq,SkySkimmer/coq,mattam82/coq,pirapira/coq2rust,amintimany/coq,pirbo/coq,william-lawvere/coq,ale-f/coq,jhjourdan/coq,JasonGross/coq,silene/coq,TheTypoMaster/coq,ppedrot/coq,herbelin/github-coq,ejgallego/coq,jpdeplaix/coq,gmalecha/coq,william-lawvere/coq,maximedenes/coq,Zimmi48/coq,aspiwack/coq,gmalecha/coq,maximedenes/coq,letouzey/coq-wip,silene/coq,gares/coq,william-lawvere/coq,maximedenes/coq,gares/coq,Ptival/coq,pirapira/coq2rust