changeset 32892 | 9742f6130f10 |
parent 32891 | d403b99287ff |
child 32898 | e871d897969c |
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