diff -r 1aa5cd390dfb -r 290e1571c829 doc-src/IsarRef/Thy/document/syntax.tex
--- a/doc-src/IsarRef/Thy/document/syntax.tex	Sun May 18 17:03:26 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/syntax.tex	Sun May 18 17:04:48 2008 +0200
@@ -11,7 +11,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ {\isachardoublequoteopen}syntax{\isachardoublequoteclose}\isanewline
-\isakeyword{imports}\ CPure\isanewline
+\isakeyword{imports}\ Pure\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%