--- a/doc-src/IsarImplementation/Thy/document/base.tex Sun May 18 17:03:26 2008 +0200
+++ b/doc-src/IsarImplementation/Thy/document/base.tex Sun May 18 17:04:48 2008 +0200
@@ -12,7 +12,7 @@
\isatagtheory
\isacommand{theory}\isamarkupfalse%
\ base\isanewline
-\isakeyword{imports}\ CPure\isanewline
+\isakeyword{imports}\ Pure\isanewline
\isakeyword{uses}\ {\isachardoublequoteopen}{\isachardot}{\isachardot}{\isacharslash}{\isachardot}{\isachardot}{\isacharslash}antiquote{\isacharunderscore}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline
\isakeyword{begin}\isanewline
\isanewline