# HG changeset patch
# User nipkow
# Date 974993108 -3600
# Node ID 6be063dec8353a7f86f93294014f708c2b3ca868
# Parent  d34192966cd8445fed68ba575a7407a8b5160390
*** empty log message ***

diff -r d34192966cd8 -r 6be063dec835 doc-src/TutorialI/Sets/sets.tex
--- 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.