doc-src/IsarRef/Thy/Document_Preparation.thy

--- a/doc-src/IsarRef/Thy/Document_Preparation.thy	Thu Oct 08 15:16:13 2009 +0200
+++ b/doc-src/IsarRef/Thy/Document_Preparation.thy	Thu Oct 08 15:59:15 2009 +0200
@@ -201,9 +201,9 @@
     ;
     option: name | name '=' name
     ;
-    styles: '(' (style * ',') ')'
+    styles: '(' (style + ',') ')'
     ;
-    style: (name *)
+    style: (name +)
     ;
   \end{rail}