doc-src/Codegen/Thy/Inductive_Predicate.thy

--- a/doc-src/Codegen/Thy/Inductive_Predicate.thy	Fri Aug 13 16:40:47 2010 +0200
+++ b/doc-src/Codegen/Thy/Inductive_Predicate.thy	Mon Aug 16 10:32:14 2010 +0200
@@ -2,7 +2,7 @@
 imports Setup
 begin
 
-section {* Inductive Predicates *}
+section {* Inductive Predicates \label{sec:inductive} *}
 (*<*)
 hide_const append