Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est de toutes façons inutile)
Correction interprétation mult sur nat (bug 743), bug Oufo (mais Oufo est de toutes façons inutile)


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

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