
diff -r 1120f6cc10b0 -r d066f9db833b doc-src/IsarRef/Thy/document/Generic.tex
--- a/doc-src/IsarRef/Thy/document/Generic.tex	Wed May 14 20:31:17 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/Generic.tex	Wed May 14 20:31:41 2008 +0200
@@ -11,7 +11,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ Generic\isanewline
-\isakeyword{imports}\ CPure\isanewline
+\isakeyword{imports}\ Main\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%




