diff -r 48fed6598be9 -r 355ec1b521e6 doc-src/Codegen/codegen.tex
--- a/doc-src/Codegen/codegen.tex	Tue Jun 29 11:25:04 2010 +0200
+++ b/doc-src/Codegen/codegen.tex	Tue Jun 29 11:25:04 2010 +0200
@@ -32,6 +32,7 @@
 
 \input{Thy/document/Introduction.tex}
 \input{Thy/document/Program.tex}
+\input{Thy/document/Inductive_Predicate.tex}
 \input{Thy/document/Adaptation.tex}
 \input{Thy/document/Further.tex}
 \input{Thy/document/ML.tex}