--- a/doc-src/TutorialI/Advanced/advanced.tex Fri Sep 15 19:59:05 2000 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex Fri Sep 15 20:07:15 2000 +0200
@@ -9,18 +9,18 @@
\emph{congruence rules}, introduced in the section on simplification, is
required for parts of the section on recursion.
-\input{document/simp.tex}
+\input{Advanced/document/simp.tex}
\section{Advanced forms of recursion}
\label{sec:advanced-recdef}
\index{*recdef|(}
-\input{../Recdef/document/Nested0.tex}
-\input{../Recdef/document/Nested1.tex}
-\input{../Recdef/document/Nested2.tex}
+\input{Recdef/document/Nested0.tex}
+\input{Recdef/document/Nested1.tex}
+\input{Recdef/document/Nested2.tex}
\index{*recdef|)}
\section{Advanced induction techniques}
\label{sec:advanced-ind}
\index{induction|(}
-\input{../Misc/document/AdvancedInd.tex}
+\input{Misc/document/AdvancedInd.tex}
\index{induction|)}