1.1 --- a/doc-src/IsarRef/Thy/Document_Preparation.thy	Thu Oct 08 15:16:13 2009 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/Document_Preparation.thy	Thu Oct 08 15:59:15 2009 +0200
     1.3 @@ -201,9 +201,9 @@
     1.4      ;
     1.5      option: name | name '=' name
     1.6      ;
     1.7 -    styles: '(' (style * ',') ')'
     1.8 +    styles: '(' (style + ',') ')'
     1.9      ;
    1.10 -    style: (name *)
    1.11 +    style: (name +)
    1.12      ;
    1.13    \end{rail}
    1.14