doc-src/IsarRef/Thy/Spec.thy

       Attrib.thms >> (fn ths =>
         Thm.rule_attribute (fn context: Context.generic => fn th: thm =>
           let val th' = th OF ths
           in th' end)) *}  "my rule"
 
-    attribute_setup my_declatation = {*
+    attribute_setup my_declaration = {*
       Attrib.thms >> (fn ths =>
         Thm.declaration_attribute (fn th: thm => fn context: Context.generic =>
           let val context' = context
           in context' end)) *}  "my declaration"