| changeset 48506 | af1dabad14c0 |
| parent 25281 | 8d309beb66d6 |
| child 48522 | 708278fc2dff |
--- 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}