# HG changeset patch
# User wenzelm
# Date 1237222082 -3600
# Node ID b3b1f4184ae4a3dcbb3fe68fc9148fe06ae0c1ac
# Parent  8209a719638946563cd0aa00af00c77521927a3b
spelling;

diff -r 8209a7196389 -r b3b1f4184ae4 doc-src/IsarRef/Thy/Spec.thy
--- a/doc-src/IsarRef/Thy/Spec.thy	Mon Mar 16 17:47:26 2009 +0100
+++ b/doc-src/IsarRef/Thy/Spec.thy	Mon Mar 16 17:48:02 2009 +0100
@@ -878,7 +878,7 @@
           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