The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

Is there a way concise to mark certain variables declared in a section 
as implicit?  Or, does one have to use a separate Arguments command for 
each function declared in that section?

-- Jonathan