summary |
shortlog |
changelog |
graph |
tags |
bookmarks |
branches |
files |
changeset |
file |
latest |
revisions |
annotate |
diff |
comparison |
raw |
help

doc-src/TutorialI/Sets/sets.tex

changeset 10373 | f9211fc8cd7d |

parent 10372 | d1bacec57f5e |

child 10374 | d72638f2b78e |

--- a/doc-src/TutorialI/Sets/sets.tex Fri Nov 03 16:53:39 2000 +0100 +++ b/doc-src/TutorialI/Sets/sets.tex Fri Nov 03 17:14:06 2000 +0100 @@ -874,6 +874,7 @@ \section{Well-founded relations and induction} +\label{sec:Well-founded} Induction comes in many forms, including traditional mathematical induction, structural induction on lists and induction on size.