1.1 --- a/doc-src/TutorialI/Advanced/advanced.tex	Wed Oct 11 00:03:22 2000 +0200
     1.2 +++ b/doc-src/TutorialI/Advanced/advanced.tex	Wed Oct 11 09:09:06 2000 +0200
     1.3 @@ -12,13 +12,19 @@
     1.4  \input{Advanced/document/simp.tex}
     1.5  
     1.6  \section{Advanced forms of recursion}
     1.7 -\label{sec:advanced-recdef}
     1.8  \index{*recdef|(}
     1.9 +
    1.10 +\subsection{Recursion over nested datatypes}
    1.11 +\label{sec:nested-recdef}
    1.12  \input{Recdef/document/Nested0.tex}
    1.13  \input{Recdef/document/Nested1.tex}
    1.14  \input{Recdef/document/Nested2.tex}
    1.15  \index{*recdef|)}
    1.16  
    1.17 +\subsection{Beyond measure}
    1.18 +\label{sec:wellfounded}
    1.19 +\input{Recdef/document/WFrec.tex}
    1.20 +
    1.21  \section{Advanced induction techniques}
    1.22  \label{sec:advanced-ind}
    1.23  \index{induction|(}