1.1 --- a/doc-src/Codegen/Thy/Further.thy	Thu Sep 02 16:41:41 2010 +0200
     1.2 +++ b/doc-src/Codegen/Thy/Further.thy	Thu Sep 02 16:41:42 2010 +0200
     1.3 @@ -122,7 +122,7 @@
     1.4    specific application, you should consider \emph{Imperative
     1.5    Functional Programming with Isabelle/HOL}
     1.6    \cite{bulwahn-et-al:2008:imperative}; the framework described there
     1.7 -  is available in session @{theory Imperative_HOL}.
     1.8 +  is available in session @{text Imperative_HOL}.
     1.9  *}
    1.10  
    1.11