# HG changeset patch
# User wenzelm
# Date 1010189868 -3600
# Node ID 4d43b06a81e1a9605f9b53ac16ead781f96f8d9e
# Parent  5069929098abfa5afae471f35677fb89cb76a5a7
tuned;

diff -r 5069929098ab -r 4d43b06a81e1 doc-src/IsarRef/syntax.tex
--- 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}