1.1 --- a/doc-src/IsarRef/Thy/Spec.thy	Mon Mar 16 17:47:26 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/Spec.thy	Mon Mar 16 17:48:02 2009 +0100
     1.3 @@ -878,7 +878,7 @@
     1.4            let val th' = th OF ths
     1.5            in th' end)) *}  "my rule"
     1.6  
     1.7 -    attribute_setup my_declatation = {*
     1.8 +    attribute_setup my_declaration = {*
     1.9        Attrib.thms >> (fn ths =>
    1.10          Thm.declaration_attribute (fn th: thm => fn context: Context.generic =>
    1.11            let val context' = context