The Coq mailing list

[Tom Prince <tom.prince AT ualberta.net>]

On 2011-05-19, Vladimir Voevodsky wrote:
> where can I find the source (.v file ) for the basic library e.g.
> Init/Peano.v ? It does not appear to be in the usual sources.

I see in an other reply, that you found this file. However, if you
were asking so that you could include it in your repo, there is no
need to include anything in the coq stdlib. Anybody wanting to use
your repo will already have them installed.

  Tom