equal
deleted
inserted
replaced
3 Although we have already learned a lot about simplification and |
3 Although we have already learned a lot about simplification and |
4 induction, there are some advanced proof techniques that we have not covered |
4 induction, there are some advanced proof techniques that we have not covered |
5 yet and which are worth learning. The sections of this chapter are |
5 yet and which are worth learning. The sections of this chapter are |
6 independent of each other and can be read in any order. |
6 independent of each other and can be read in any order. |
7 |
7 |
8 \input{Advanced/document/simp.tex} |
8 \input{Advanced/document/simp2.tex} |
9 |
9 |
10 \section{Advanced Induction Techniques} |
10 \section{Advanced Induction Techniques} |
11 \label{sec:advanced-ind} |
11 \label{sec:advanced-ind} |
12 \index{induction|(} |
12 \index{induction|(} |
13 \input{Misc/document/AdvancedInd.tex} |
13 \input{Misc/document/AdvancedInd.tex} |