The Coq mailing list

[Edsko de Vries <edskodevries AT gmail.com>]

Hi Dan,

Thank you for your extensive answer. Much appreciated. The link to Dan  
Piponi's blog post was also very helpful. I think I have a better  
understanding of ordinals now.

Thanks again,

Edsko