
diff -r 2f4684e2ea95 -r 853abb4853cc doc-src/Codegen/Thy/document/Introduction.tex
--- a/doc-src/Codegen/Thy/document/Introduction.tex	Tue Mar 03 11:00:51 2009 +0100
+++ b/doc-src/Codegen/Thy/document/Introduction.tex	Tue Mar 03 13:20:53 2009 +0100
@@ -18,10 +18,6 @@
 %
 \endisadelimtheory
 %
-\isamarkupchapter{Code generation from \isa{Isabelle{\isacharslash}HOL} theories%
-}
-\isamarkuptrue%
-%
 \isamarkupsection{Introduction and Overview%
 }
 \isamarkuptrue%




