1.1 --- a/doc-src/IsarRef/Thy/document/Spec.tex	Wed Feb 24 07:06:39 2010 -0800
     1.2 +++ b/doc-src/IsarRef/Thy/document/Spec.tex	Wed Feb 24 20:37:01 2010 +0100
     1.3 @@ -996,9 +996,9 @@
     1.4    \end{matharray}
     1.5  
     1.6    \begin{rail}
     1.7 -    'types' (typespec '=' type infix? +)
     1.8 +    'types' (typespec '=' type mixfix? +)
     1.9      ;
    1.10 -    'typedecl' typespec infix?
    1.11 +    'typedecl' typespec mixfix?
    1.12      ;
    1.13      'arities' (nameref '::' arity +)
    1.14      ;