--- a/doc-src/IsarRef/Thy/Outer_Syntax.thy Tue Nov 18 18:22:49 2008 +0100
+++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy Tue Nov 18 18:25:10 2008 +0100
@@ -171,9 +171,9 @@
symbols like this, although proper presentation is left to front-end
tools such as {\LaTeX} or Proof~General with the X-Symbol package.
A list of standard Isabelle symbols that work well with these tools
- is given in \cite[appendix~A]{isabelle-sys}. Note that @{verbatim
- "\<lambda>"} does not belong to the @{text letter} category, since it is
- already used differently in the Pure term language.
+ is given in \appref{app:symbols}. Note that @{verbatim "\<lambda>"} does
+ not belong to the @{text letter} category, since it is already used
+ differently in the Pure term language.
*}