Fix priority of the Leibniz Setoid instance to 10 (thanks to M. Lasson for the report).
Fix priority of the Leibniz Setoid instance to 10 (thanks to M. Lasson
for the report).


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

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