diff options
Diffstat (limited to 'kernel/doc.tex')
-rw-r--r-- | kernel/doc.tex | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/kernel/doc.tex b/kernel/doc.tex index 56debc102..4a9fc3550 100644 --- a/kernel/doc.tex +++ b/kernel/doc.tex @@ -1,9 +1,11 @@ +\newpage \section*{The Coq kernel} \ocwsection \label{kernel} -This section describes the \Coq\ kernel, which is a type checker for the \CCI. - +This chapter describes the \Coq\ kernel, which is a type checker for the \CCI. The modules of the kernel are organized as follows. -TODO +\bigskip +\begin{center}\epsfig{file=kernel.dep.ps,width=\linewidth}\end{center} + |