From f6533eba11440dc181cddc80355d9a0f35a98481 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Mon, 14 Apr 2008 15:38:12 +0000
Subject: Update doc and remove another overloading of equiv_*.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10788 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Setoid.tex | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'doc')

diff --git a/doc/refman/Setoid.tex b/doc/refman/Setoid.tex
index b124d6a969..a5cc6acbf0 100644
--- a/doc/refman/Setoid.tex
+++ b/doc/refman/Setoid.tex
@@ -454,9 +454,9 @@ is equivalent to an instance declaration:
   \texttt{Instance} ($x_1 : T_1$) \ldots ($x_n : T_k$) \texttt{=>}
   \textit{id} : \texttt{Equivalence} \textit{(A $t_1$ \ldots $t_n$) (Aeq
     $t'_1$ \ldots $t'_m$)} :=\\
-  ~\zeroone{\texttt{equiv\_refl :=} \textit{refl}}\\
-  ~\zeroone{\texttt{equiv\_sym :=} \textit{sym}}\\
-  ~\zeroone{\texttt{equiv\_trans :=} \textit{trans}}.
+  ~\zeroone{\texttt{equivalence\_reflexive :=} \textit{refl}}\\
+  ~\zeroone{\texttt{equivalence\_symmetric :=} \textit{sym}}\\
+  ~\zeroone{\texttt{equivalence\_transitive :=} \textit{trans}}.
 \end{quote}
 
 The declaration itself amounts to the definition of an object of the
-- 
cgit v1.2.3