Syntactic Definition autorisée dans les motifs de Cases (utile notamment pour fusionner eq et eqT)
Syntactic Definition autorisée dans les motifs de Cases (utile notamment
pour fusionner eq et eqT)


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

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