1.1 --- a/doc-src/IsarImplementation/Thy/document/prelim.tex	Wed Jul 26 11:32:50 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/prelim.tex	Wed Jul 26 11:32:55 2006 +0200
     1.3 @@ -72,8 +72,7 @@
     1.4  
     1.5  \item or a raw control symbol ``\verb,\,\verb,<^raw:,\isa{{\isasymdots}}\verb,>,'' where ``\isa{{\isasymdots}}'' refers to any
     1.6  printable ASCII character (excluding ``\verb,.,'' and ``\verb,>,'') or
     1.7 -non-ASCII character, for example ``\verb,\,\verb,<^raw:$\sum_{i =
     1.8 -1}^n$>,'',
     1.9 +non-ASCII character, for example ``\verb,\,\verb,<^raw:$\sum_{i = 1}^n$>,'',
    1.10  
    1.11  \item or a numbered raw control symbol ``\verb,\,\verb,<^raw,\isa{nnn}\verb,>, where \isa{nnn} are digits, for example
    1.12  ``\verb,\,\verb,<^raw42>,''.