doc-src/TutorialI/Advanced/advanced.tex

--- a/doc-src/TutorialI/Advanced/advanced.tex	Thu Jul 26 17:32:28 2012 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Thu Jul 26 18:55:42 2012 +0200
@@ -5,13 +5,13 @@
 yet and which are worth learning. The sections of this chapter are
 independent of each other and can be read in any order.
 
-\input{Advanced/document/simp2.tex}
+\input{document/simp2.tex}
 
 \section{Advanced Induction Techniques}
 \label{sec:advanced-ind}
 \index{induction|(}
-\input{Misc/document/AdvancedInd.tex}
-\input{CTL/document/CTLind.tex}
+\input{document/AdvancedInd.tex}
+\input{document/CTLind.tex}
 \index{induction|)}
 
 %\section{Advanced Forms of Recursion}
@@ -34,16 +34,16 @@
 
 %\subsection{Beyond Measure}
 %\label{sec:beyond-measure}
-%\input{Advanced/document/WFrec.tex}
+%\input{document/WFrec.tex}
 %
 %\subsection{Recursion Over Nested Datatypes}
 %\label{sec:nested-recdef}
-%\input{Recdef/document/Nested0.tex}
-%\input{Recdef/document/Nested1.tex}
-%\input{Recdef/document/Nested2.tex}
+%\input{document/Nested0.tex}
+%\input{document/Nested1.tex}
+%\input{document/Nested2.tex}
 %
 %\subsection{Partial Functions}
 %\index{functions!partial}
-%\input{Advanced/document/Partial.tex}
+%\input{document/Partial.tex}
 %
 %\index{recdef@\isacommand {recdef} (command)|)}