--- a/doc-src/Codegen/Thy/Inductive_Predicate.thy Fri Aug 13 13:43:55 2010 +0200
+++ b/doc-src/Codegen/Thy/Inductive_Predicate.thy Fri Aug 13 14:40:15 2010 +0200
@@ -2,7 +2,7 @@
imports Setup
begin
-subsection {* Inductive Predicates *}
+section {* Inductive Predicates *}
(*<*)
hide_const append