--- 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}