The Coq mailing list

[Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com>]

Hi Club,

I have a simple question: how do you find out where a function is located,
in which file. I know that I can do a "grep -r funcion_name *.v" in console, but I wonder if there is a better way (and I have several libraries imported that reside in others folders, then "grep" does not help much).

Thank you in advance.