1.1 --- a/doc-src/IsarRef/Thy/Outer_Syntax.thy	Mon Feb 09 20:36:53 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Outer_Syntax.thy	Mon Feb 09 20:37:10 2009 +0100
     1.3 @@ -170,10 +170,10 @@
     1.4    Isabelle as @{verbatim \<forall>}.  There are infinitely many Isabelle
     1.5    symbols like this, although proper presentation is left to front-end
     1.6    tools such as {\LaTeX} or Proof~General with the X-Symbol package.
     1.7 -  A list of standard Isabelle symbols that work well with these tools
     1.8 -  is given in \appref{app:symbols}.  Note that @{verbatim "\<lambda>"} does
     1.9 -  not belong to the @{text letter} category, since it is already used
    1.10 -  differently in the Pure term language.
    1.11 +  A list of predefined Isabelle symbols that work well with these
    1.12 +  tools is given in \appref{app:symbols}.  Note that @{verbatim "\<lambda>"}
    1.13 +  does not belong to the @{text letter} category, since it is already
    1.14 +  used differently in the Pure term language.
    1.15  *}
    1.16  
    1.17