equal
deleted
inserted
replaced
33 \input{Recdef/document/Nested1.tex} |
33 \input{Recdef/document/Nested1.tex} |
34 \input{Recdef/document/Nested2.tex} |
34 \input{Recdef/document/Nested2.tex} |
35 \index{*recdef|)} |
35 \index{*recdef|)} |
36 |
36 |
37 \subsection{Beyond measure} |
37 \subsection{Beyond measure} |
38 \label{sec:wellfounded} |
38 \label{sec:beyond-measure} |
39 \input{Advanced/document/WFrec.tex} |
39 \input{Advanced/document/WFrec.tex} |
40 |
40 |
41 \section{Advanced induction techniques} |
41 \section{Advanced induction techniques} |
42 \label{sec:advanced-ind} |
42 \label{sec:advanced-ind} |
43 \index{induction|(} |
43 \index{induction|(} |