
diff -r 16d4b8c09086 -r 6e17f2ae9e16 doc-src/TutorialI/Sets/sets.tex
--- a/doc-src/TutorialI/Sets/sets.tex	Sun Jan 06 13:48:18 2002 +0100
+++ b/doc-src/TutorialI/Sets/sets.tex	Sun Jan 06 16:50:31 2002 +0100
@@ -324,7 +324,7 @@
 \rulenamedx{UN_E}
 \end{isabelle}
 %
-The following built-in syntax translation (see {\S}\ref{sec:def-translations})
+The following built-in syntax translation (see {\S}\ref{sec:syntax-translations})
 lets us express the union over a \emph{type}:
 \begin{isabelle}
 \ \ \ \ \




