doc-src/TutorialI/Inductive/Even.tex

--- a/doc-src/TutorialI/Inductive/Even.tex	Fri Nov 24 16:49:27 2000 +0100
+++ b/doc-src/TutorialI/Inductive/Even.tex	Sun Nov 26 10:48:38 2000 +0100
@@ -157,6 +157,7 @@
 \end{isabelle}
 
 \subsection{Generalization and rule induction}
+\label{sec:gen-rule-induction}
 
 Everybody knows that when before applying induction we often must generalize
 the induction formula.  This step is just as important with rule induction,