doc-src/System/Thy/document/Misc.tex

--- a/doc-src/System/Thy/document/Misc.tex	Mon Jun 27 17:51:28 2011 +0200
+++ b/doc-src/System/Thy/document/Misc.tex	Mon Jun 27 22:20:49 2011 +0200
@@ -9,7 +9,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ Misc\isanewline
-\isakeyword{imports}\ Pure\isanewline
+\isakeyword{imports}\ Base\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%