Preliminary work before extending support for binders in notations (binders shall be substitutable by arbitrary cases patterns).
Preliminary work before extending support for binders in notations
(binders shall be substitutable by arbitrary cases patterns).

maximedenes/coq,gares/coq,SkySkimmer/coq,silene/coq,Zimmi48/coq,gares/coq,maximedenes/coq,coq/coq,maximedenes/coq,letouzey/coq-wip,ppedrot/coq,ejgallego/coq,gares/coq,Matafou/coq,Matafou/coq,JasonGross/coq,SkySkimmer/coq,letouzey/coq-wip,maximedenes/coq,SkySkimmer/coq,gares/coq,SkySkimmer/coq,letouzey/coq-wip,ppedrot/coq,silene/coq,coq/coq,JasonGross/coq,JasonGross/coq,ppedrot/coq,Matafou/coq,ejgallego/coq,ppedrot/coq,gares/coq,JasonGross/coq,letouzey/coq-wip,ejgallego/coq,Zimmi48/coq,maximedenes/coq,Zimmi48/coq,Zimmi48/coq,ppedrot/coq,silene/coq,ejgallego/coq,coq/coq,letouzey/coq-wip,coq/coq