Solution partielle au problème des alias dépendants pour les rendre compatibles avec l'utilisation de la contrainte de type comme guide de la synthèse du prédicat
Solution partielle au problème des alias dépendants pour les rendre compatibles avec l'utilisation de la contrainte de type comme guide de la synthèse du prédicat


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

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