diff options
Diffstat (limited to 'doc/refman/Setoid.tex')
| -rw-r--r-- | doc/refman/Setoid.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Setoid.tex b/doc/refman/Setoid.tex index 8a293ea2bf..55915189ce 100644 --- a/doc/refman/Setoid.tex +++ b/doc/refman/Setoid.tex @@ -2,7 +2,7 @@ \achapter{\protect{Generalized rewriting}} \aauthor{Matthieu Sozeau} -\label{setoid_replace} +\label{setoids} This chapter presents the extension of several equality related tactics to work over user-defined structures (called setoids) that are equipped |