doc-src/Codegen/Thy/document/Inductive_Predicate.tex

--- a/doc-src/Codegen/Thy/document/Inductive_Predicate.tex	Fri Aug 13 16:40:47 2010 +0200
+++ b/doc-src/Codegen/Thy/document/Inductive_Predicate.tex	Mon Aug 16 10:32:14 2010 +0200
@@ -18,7 +18,7 @@
 %
 \endisadelimtheory
 %
-\isamarkupsection{Inductive Predicates%
+\isamarkupsection{Inductive Predicates \label{sec:inductive}%
 }
 \isamarkuptrue%
 %