1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Sun May 15 16:40:24 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Sun May 15 17:06:35 2011 +0200
     1.3 @@ -859,7 +859,7 @@
     1.4      (@@{command ML} | @@{command ML_prf} | @@{command ML_val} |
     1.5        @@{command ML_command} | @@{command setup} | @@{command local_setup}) @{syntax text}
     1.6      ;
     1.7 -    @@{command attribute_setup} @{syntax name} '=' @{syntax text} @{syntax text}
     1.8 +    @@{command attribute_setup} @{syntax name} '=' @{syntax text} @{syntax text}?
     1.9    "}
    1.10  
    1.11    \begin{description}