1.1 --- a/doc-src/IsarRef/Thy/document/Spec.tex	Mon Mar 16 17:51:07 2009 +0100
     1.2 +++ b/doc-src/IsarRef/Thy/document/Spec.tex	Mon Mar 16 17:51:24 2009 +0100
     1.3 @@ -891,7 +891,7 @@
     1.4  \ \ \ \ \ \ \ \ \ \ in\ th{\isacharprime}\ end{\isacharparenright}{\isacharparenright}\ {\isacharverbatimclose}\ \ {\isachardoublequoteopen}my\ rule{\isachardoublequoteclose}\isanewline
     1.5  \isanewline
     1.6  \ \ \ \ \isacommand{attribute{\isacharunderscore}setup}\isamarkupfalse%
     1.7 -\ my{\isacharunderscore}declatation\ {\isacharequal}\ {\isacharverbatimopen}\isanewline
     1.8 +\ my{\isacharunderscore}declaration\ {\isacharequal}\ {\isacharverbatimopen}\isanewline
     1.9  \ \ \ \ \ \ Attrib{\isachardot}thms\ {\isachargreater}{\isachargreater}\ {\isacharparenleft}fn\ ths\ {\isacharequal}{\isachargreater}\isanewline
    1.10  \ \ \ \ \ \ \ \ Thm{\isachardot}declaration{\isacharunderscore}attribute\ {\isacharparenleft}fn\ th{\isacharcolon}\ thm\ {\isacharequal}{\isachargreater}\ fn\ context{\isacharcolon}\ Context{\isachardot}generic\ {\isacharequal}{\isachargreater}\isanewline
    1.11  \ \ \ \ \ \ \ \ \ \ let\ val\ context{\isacharprime}\ {\isacharequal}\ context\isanewline