doc-src/TutorialI/Advanced/advanced.tex
changeset 10522 ed3964d1f1a4
parent 10420 ef006735bee8
child 10654 458068404143
     1.1 --- a/doc-src/TutorialI/Advanced/advanced.tex	Sun Nov 26 11:37:49 2000 +0100
     1.2 +++ b/doc-src/TutorialI/Advanced/advanced.tex	Mon Nov 27 10:38:43 2000 +0100
     1.3 @@ -35,7 +35,7 @@
     1.4  \index{*recdef|)}
     1.5  
     1.6  \subsection{Beyond measure}
     1.7 -\label{sec:wellfounded}
     1.8 +\label{sec:beyond-measure}
     1.9  \input{Advanced/document/WFrec.tex}
    1.10  
    1.11  \section{Advanced induction techniques}