The Coq mailing list

[Laurent Théry <Laurent.Thery AT inria.fr>]

Hi
> > (BTW, is there a better way to accelerate omega?)
> There is also a variant of omega, called romega, that is implemented 
> by reflection.

lia (http://coq.inria.fr/doc/Reference-Manual026.html#@tactic194) is 
also worth a try if you have performance problems

--
Laurent