Suppression source de complexité polynomiale introduite par le polymorphisme dans les définitions alors même que ce polymorphisme est débranché
Suppression source de complexité polynomiale introduite par le polymorphisme
dans les définitions alors même que ce polymorphisme est débranché


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

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