# 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}