Mise en place des V8Notation et V8Infix pour déclarer des notations en v8 même si incompatible avec la syntaxe v7
Mise en place des V8Notation et V8Infix pour déclarer des notations en
v8 même si incompatible avec la syntaxe v7


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

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