
\newpage
\section*{Utility libraries}

\ocwsection \label{lib}
This chapter describes the various utility libraries used in the code
of \Coq.
