equal
deleted
inserted
replaced
557 \subsection{Proving termination} |
557 \subsection{Proving termination} |
558 |
558 |
559 \input{Recdef/document/termination.tex} |
559 \input{Recdef/document/termination.tex} |
560 |
560 |
561 \subsection{Simplification with recdef} |
561 \subsection{Simplification with recdef} |
|
562 \label{sec:recdef-simplification} |
562 |
563 |
563 \input{Recdef/document/simplification.tex} |
564 \input{Recdef/document/simplification.tex} |
564 |
565 |
565 \subsection{Induction} |
566 \subsection{Induction} |
566 \index{induction!recursion|(} |
567 \index{induction!recursion|(} |