doc-src/Codegen/Thy/Introduction.thy

--- a/doc-src/Codegen/Thy/Introduction.thy	Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Codegen/Thy/Introduction.thy	Tue Mar 03 13:20:53 2009 +0100
@@ -2,8 +2,6 @@
 imports Setup
 begin
 
-chapter {* Code generation from @{text "Isabelle/HOL"} theories *}
-
 section {* Introduction and Overview *}
 
 text {*