test de la bonne position des vars de ltac entre les vars et les rels
test de la bonne position des vars de ltac entre les vars et les rels


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

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