1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Tue Mar 09 23:29:04 2010 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Tue Mar 09 23:32:13 2010 +0100
     1.3 @@ -954,7 +954,7 @@
     1.4  text {*
     1.5    \begin{matharray}{rcll}
     1.6      @{command_def "types"} & : & @{text "theory \<rightarrow> theory"} \\
     1.7 -    @{command_def "typedecl"} & : & @{text "theory \<rightarrow> theory"} \\
     1.8 +    @{command_def "typedecl"} & : & @{text "local_theory \<rightarrow> local_theory"} \\
     1.9      @{command_def "arities"} & : & @{text "theory \<rightarrow> theory"} & (axiomatic!) \\
    1.10    \end{matharray}
    1.11