1.1 --- a/doc-src/IsarRef/syntax.tex	Sat Jan 05 01:17:14 2002 +0100
     1.2 +++ b/doc-src/IsarRef/syntax.tex	Sat Jan 05 01:17:48 2002 +0100
     1.3 @@ -120,7 +120,7 @@
     1.4  Display of appropriate glyphs is a matter of front-end tools, say the
     1.5  user-interface of Proof~General plus the X-Symbol package, or the {\LaTeX}
     1.6  macro setup of document output.  A list of predefined Isabelle symbols is
     1.7 -given in \cite[Appendix~A]{isabelle-sys}.
     1.8 +given in \cite[appendix~A]{isabelle-sys}.
     1.9  
    1.10  
    1.11  \section{Common syntax entities}