Fixing Kerpair.hash. Since the beginning, it dit not respect the type equality, maybe impeding hashconsing.
Fixing Kerpair.hash. Since the beginning, it dit not respect the type
equality, maybe impeding hashconsing.

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

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