--- a/doc-src/TutorialI/Sets/sets.tex Wed Nov 22 21:47:04 2000 +0100
+++ b/doc-src/TutorialI/Sets/sets.tex Thu Nov 23 16:25:08 2000 +0100
@@ -632,6 +632,7 @@
\section{Relations}
+\label{sec:Relations}
A \textbf{relation} is a set of pairs. As such, the set operations apply
to them. For instance, we may form the union of two relations. Other
@@ -872,6 +873,7 @@
\section{Well-founded relations and induction}
+\label{sec:Well-founded}
Induction comes in many forms, including traditional mathematical
induction, structural induction on lists and induction on size.