The Coq mailing list

[Adam Chlipala <adamc AT hcoop.net>]

Roman Beslik wrote:
> Adam Chlipala wrote:
> > I feel like I should jump in and bring up that the built-in 
> > [firstorder] tactic solves this goal, so that's the right way to do 
> > it in real developments. ;-)
> It is new in Coq version 8.2, isn't it?

No, it's been around for a while.