Being defensive in printing implicit arguments also with manual implicit arguments when in beautification mode.
Being defensive in printing implicit arguments also with manual
implicit arguments when in beautification mode.

Zimmi48/coq,coq/coq,ejgallego/coq,SkySkimmer/coq,ppedrot/coq,letouzey/coq-wip,JasonGross/coq,mattam82/coq,maximedenes/coq,Ptival/coq,ejgallego/coq,Matafou/coq,Ptival/coq,amintimany/coq,gares/coq,Zimmi48/coq,william-lawvere/coq,Lionel-Rieg/coq,SkySkimmer/coq,coq/coq,JasonGross/coq,SkySkimmer/coq,JasonGross/coq,mattam82/coq,ejgallego/coq,william-lawvere/coq,coq/coq,Lionel-Rieg/coq,letouzey/coq-wip,Matafou/coq,ppedrot/coq,letouzey/coq-wip,ppedrot/coq,silene/coq,gares/coq,amintimany/coq,letouzey/coq-wip,ppedrot/coq,ppedrot/coq,JasonGross/coq,silene/coq,Lionel-Rieg/coq,maximedenes/coq,amintimany/coq,gares/coq,Zimmi48/coq,Ptival/coq,Zimmi48/coq,maximedenes/coq,coq/coq,gares/coq,gares/coq,letouzey/coq-wip,Matafou/coq,SkySkimmer/coq,mattam82/coq,ejgallego/coq,maximedenes/coq,silene/coq,maximedenes/coq,william-lawvere/coq