1.1 --- a/doc-src/TutorialI/Advanced/advanced.tex	Thu Jul 26 17:32:28 2012 +0200
     1.2 +++ b/doc-src/TutorialI/Advanced/advanced.tex	Thu Jul 26 18:55:42 2012 +0200
     1.3 @@ -5,13 +5,13 @@
     1.4  yet and which are worth learning. The sections of this chapter are
     1.5  independent of each other and can be read in any order.
     1.6  
     1.7 -\input{Advanced/document/simp2.tex}
     1.8 +\input{document/simp2.tex}
     1.9  
    1.10  \section{Advanced Induction Techniques}
    1.11  \label{sec:advanced-ind}
    1.12  \index{induction|(}
    1.13 -\input{Misc/document/AdvancedInd.tex}
    1.14 -\input{CTL/document/CTLind.tex}
    1.15 +\input{document/AdvancedInd.tex}
    1.16 +\input{document/CTLind.tex}
    1.17  \index{induction|)}
    1.18  
    1.19  %\section{Advanced Forms of Recursion}
    1.20 @@ -34,16 +34,16 @@
    1.21  
    1.22  %\subsection{Beyond Measure}
    1.23  %\label{sec:beyond-measure}
    1.24 -%\input{Advanced/document/WFrec.tex}
    1.25 +%\input{document/WFrec.tex}
    1.26  %
    1.27  %\subsection{Recursion Over Nested Datatypes}
    1.28  %\label{sec:nested-recdef}
    1.29 -%\input{Recdef/document/Nested0.tex}
    1.30 -%\input{Recdef/document/Nested1.tex}
    1.31 -%\input{Recdef/document/Nested2.tex}
    1.32 +%\input{document/Nested0.tex}
    1.33 +%\input{document/Nested1.tex}
    1.34 +%\input{document/Nested2.tex}
    1.35  %
    1.36  %\subsection{Partial Functions}
    1.37  %\index{functions!partial}
    1.38 -%\input{Advanced/document/Partial.tex}
    1.39 +%\input{document/Partial.tex}
    1.40  %
    1.41  %\index{recdef@\isacommand {recdef} (command)|)}