doc-src/IsarRef/Thy/document/ZF_Specific.tex

--- a/doc-src/IsarRef/Thy/document/ZF_Specific.tex	Wed May 14 20:31:17 2008 +0200
+++ b/doc-src/IsarRef/Thy/document/ZF_Specific.tex	Wed May 14 20:31:41 2008 +0200
@@ -11,7 +11,7 @@
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
 \ ZF{\isacharunderscore}Specific\isanewline
-\isakeyword{imports}\ ZF\isanewline
+\isakeyword{imports}\ Main\isanewline
 \isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%