diff options
Diffstat (limited to 'lib/doc.tex')
-rw-r--r-- | lib/doc.tex | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/doc.tex b/lib/doc.tex index 224da620a..35bd15fa1 100644 --- a/lib/doc.tex +++ b/lib/doc.tex @@ -1,4 +1,7 @@ +\newpage \section*{Utility libraries} - +\ocwsection \label{lib} +This chapter describes the various utility libraries used in the code +of \Coq. |