From 7899f70633c86fbc404d4f96317c19a59395238e Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 13 Mar 2003 13:16:33 +0000
Subject: Pr�sentation

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@8328 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/RefMan-ext.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/RefMan-ext.tex')

diff --git a/doc/RefMan-ext.tex b/doc/RefMan-ext.tex
index 84f0a09ebf..e5f908a0c8 100644
--- a/doc/RefMan-ext.tex
+++ b/doc/RefMan-ext.tex
@@ -898,7 +898,7 @@ the declaration
 \SeeAlso more examples in user contribution \texttt{category}
 (\texttt{Rocq/ALGEBRA}).
 
-\section{Implicit Coercions}
+\section{Implicit coercions}
 \label{Coercions}\index{Coercions}
 
 Coercions can be used to implicitly inject terms from one ``class'' in
-- 
cgit v1.2.3

