
diff -r 841ce0fcbe14 -r b6212ae21656 doc-src/IsarRef/Thy/document/Inner_Syntax.tex
--- a/doc-src/IsarRef/Thy/document/Inner_Syntax.tex	Mon Mar 09 21:23:40 2009 +0100
+++ b/doc-src/IsarRef/Thy/document/Inner_Syntax.tex	Mon Mar 09 21:25:33 2009 +0100
@@ -819,8 +819,8 @@
   translations functions may refer to specific theory declarations or
   auxiliary proof data.
 
-  See also \cite[\S8]{isabelle-ref} for more information on the
-  general concept of syntax transformations in Isabelle.
+  See also \cite{isabelle-ref} for more information on the general
+  concept of syntax transformations in Isabelle.
 
 %FIXME proper antiquotations
 \begin{ttbox}




