1.1 --- a/doc-src/TutorialI/Documents/Documents.thy	Tue Nov 18 18:22:49 2008 +0100
     1.2 +++ b/doc-src/TutorialI/Documents/Documents.thy	Tue Nov 18 18:25:10 2008 +0100
     1.3 @@ -107,7 +107,7 @@
     1.4    \verb,\,\verb,<forall>, symbol as~@{text \<forall>}.
     1.5  
     1.6    A list of standard Isabelle symbols is given in
     1.7 -  \cite[appendix~A]{isabelle-sys}.  You may introduce your own
     1.8 +  \cite{isabelle-isar-ref}.  You may introduce your own
     1.9    interpretation of further symbols by configuring the appropriate
    1.10    front-end tool accordingly, e.g.\ by defining certain {\LaTeX}
    1.11    macros (see also \S\ref{sec:doc-prep-symbols}).  There are also a
    1.12 @@ -666,7 +666,7 @@
    1.13    straightforward generalization of ASCII characters.  While Isabelle
    1.14    does not impose any interpretation of the infinite collection of
    1.15    named symbols, {\LaTeX} documents use canonical glyphs for certain
    1.16 -  standard symbols \cite[appendix~A]{isabelle-sys}.
    1.17 +  standard symbols \cite{isabelle-isar-ref}.
    1.18  
    1.19    The {\LaTeX} code produced from Isabelle text follows a simple
    1.20    scheme.  You can tune the final appearance by redefining certain