
diff -r 44831b583999 -r b52f9205a02d doc-src/IsarAdvanced/Codegen/Thy/Further.thy
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Further.thy	Sun Sep 14 21:50:35 2008 +0200
@@ -0,0 +1,17 @@
+theory Further
+imports Setup
+begin
+
+section {* Further topics *}
+
+subsection {* Serializer options *}
+
+subsection {* Evaluation oracle *}
+
+subsection {* Code antiquotation *}
+
+subsection {* Creating new targets *}
+
+text {* extending targets, adding targets *}
+
+end




