1.1 --- a/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Tue May 03 14:23:40 2011 +0200
     1.2 +++ b/doc-src/IsarRef/Thy/document/HOL_Specific.tex	Tue May 03 15:07:36 2011 +0200
     1.3 @@ -9,7 +9,7 @@
     1.4  \isatagtheory
     1.5  \isacommand{theory}\isamarkupfalse%
     1.6  \ HOL{\isaliteral{5F}{\isacharunderscore}}Specific\isanewline
     1.7 -\isakeyword{imports}\ Main\isanewline
     1.8 +\isakeyword{imports}\ Base\ Main\isanewline
     1.9  \isakeyword{begin}%
    1.10  \endisatagtheory
    1.11  {\isafoldtheory}%