1.1 --- a/doc-src/IsarRef/Thy/Inner_Syntax.thy	Mon Mar 09 21:23:40 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Inner_Syntax.thy	Mon Mar 09 21:25:33 2009 +0100
     1.3 @@ -799,8 +799,8 @@
     1.4    translations functions may refer to specific theory declarations or
     1.5    auxiliary proof data.
     1.6  
     1.7 -  See also \cite[\S8]{isabelle-ref} for more information on the
     1.8 -  general concept of syntax transformations in Isabelle.
     1.9 +  See also \cite{isabelle-ref} for more information on the general
    1.10 +  concept of syntax transformations in Isabelle.
    1.11  
    1.12  %FIXME proper antiquotations
    1.13  \begin{ttbox}