diff options
Diffstat (limited to 'doc/refman/Coercion.tex')
| -rw-r--r-- | doc/refman/Coercion.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/refman/Coercion.tex b/doc/refman/Coercion.tex index 53b6b7827..9862a9b30 100644 --- a/doc/refman/Coercion.tex +++ b/doc/refman/Coercion.tex @@ -33,7 +33,8 @@ classes: \begin{itemize} \item {\tt Sortclass}, the class of sorts; - its objects are the terms whose type is a sort (e.g., \ssrC{Prop} or \ssrC{Type}). + its objects are the terms whose type is a sort (e.g., \texttt{Prop} + or \texttt{Type}). \item {\tt Funclass}, the class of functions; its objects are all the terms with a functional type, i.e. of form $forall~ x:A, B$. |