doc-src/TutorialI/Advanced/advanced.tex

--- a/doc-src/TutorialI/Advanced/advanced.tex	Sun Nov 26 11:37:49 2000 +0100
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Mon Nov 27 10:38:43 2000 +0100
@@ -35,7 +35,7 @@
 \index{*recdef|)}
 
 \subsection{Beyond measure}
-\label{sec:wellfounded}
+\label{sec:beyond-measure}
 \input{Advanced/document/WFrec.tex}
 
 \section{Advanced induction techniques}