1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Sat Mar 17 17:58:40 2012 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Sat Mar 17 22:46:19 2012 +0100
     1.3 @@ -103,10 +103,10 @@
     1.4    \end{matharray}
     1.5  
     1.6    @{rail "
     1.7 -    @@{command context} @{syntax name} @'begin'
     1.8 +    @@{command context} @{syntax nameref} @'begin'
     1.9      ;
    1.10  
    1.11 -    @{syntax_def target}: '(' @'in' @{syntax name} ')'
    1.12 +    @{syntax_def target}: '(' @'in' @{syntax nameref} ')'
    1.13    "}
    1.14  
    1.15    \begin{description}