--- a/doc-src/Codegen/Thy/Introduction.thy Fri Aug 13 13:43:55 2010 +0200
+++ b/doc-src/Codegen/Thy/Introduction.thy Fri Aug 13 14:40:15 2010 +0200
@@ -2,7 +2,17 @@
imports Setup
begin
-section {* Introduction and Overview *}
+section {* Introduction *}
+
+subsection {* Code generation fundamental: shallow embedding *}
+
+subsection {* A quick start with the @{text "Isabelle/HOL"} toolbox *}
+
+subsection {* Type classes *}
+
+subsection {* How to continue from here *}
+
+subsection {* If something goes utterly wrong *}
text {*
This tutorial introduces a generic code generator for the