tuned;

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