diff -r c6b17889237a -r d5db6dfcb34a doc-src/System/Thy/Presentation.thy
--- a/doc-src/System/Thy/Presentation.thy	Tue Nov 18 18:22:49 2008 +0100
+++ b/doc-src/System/Thy/Presentation.thy	Tue Nov 18 18:25:10 2008 +0100
@@ -686,8 +686,8 @@
   "isabellesym.sty"} should be included as well.  This package
   contains a standard set of {\LaTeX} macro definitions @{verbatim
   "\\isasym"}@{text foo} corresponding to @{verbatim "\\"}@{verbatim
-  "<"}@{text foo}@{verbatim ">"}, (see \appref{app:symbols} for a
-  complete list of predefined Isabelle symbols).  Users may invent
+  "<"}@{text foo}@{verbatim ">"}, see \cite{isabelle-implementation} for a
+  complete list of predefined Isabelle symbols.  Users may invent
   further symbols as well, just by providing {\LaTeX} macros in a
   similar fashion as in @{"file" "~~/lib/texinputs/isabellesym.sty"} of
   the distribution.