coq.inria.fr/distrib/current/stdlib/Coq.Init.Datatypes.html

Preview meta tags from the coq.inria.fr website.