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