diff -r d9e43ea3a045 -r af1dabad14c0 doc-src/TutorialI/Advanced/advanced.tex
--- a/doc-src/TutorialI/Advanced/advanced.tex	Wed Jul 25 22:30:18 2012 +0200
+++ b/doc-src/TutorialI/Advanced/advanced.tex	Wed Jul 25 23:02:50 2012 +0200
@@ -5,7 +5,7 @@
 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/simp.tex}
+\input{Advanced/document/simp2.tex}
 
 \section{Advanced Induction Techniques}
 \label{sec:advanced-ind}