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