--- a/doc-src/TutorialI/Advanced/advanced.tex Wed Oct 11 00:03:22 2000 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex Wed Oct 11 09:09:06 2000 +0200
@@ -12,13 +12,19 @@
\input{Advanced/document/simp.tex}
\section{Advanced forms of recursion}
-\label{sec:advanced-recdef}
\index{*recdef|(}
+
+\subsection{Recursion over nested datatypes}
+\label{sec:nested-recdef}
\input{Recdef/document/Nested0.tex}
\input{Recdef/document/Nested1.tex}
\input{Recdef/document/Nested2.tex}
\index{*recdef|)}
+\subsection{Beyond measure}
+\label{sec:wellfounded}
+\input{Recdef/document/WFrec.tex}
+
\section{Advanced induction techniques}
\label{sec:advanced-ind}
\index{induction|(}