| changeset 28447 | df77ed974a78 |
| parent 28419 | f65e8b318581 |
| child 28593 | f087237af65d |
--- a/doc-src/IsarAdvanced/Codegen/Thy/Further.thy Wed Oct 01 12:18:18 2008 +0200 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Further.thy Wed Oct 01 13:33:54 2008 +0200 @@ -2,7 +2,7 @@ imports Setup begin -section {* Further topics \label{sec:further} *} +section {* Further issues \label{sec:further} *} subsection {* Further reading *}