1.1 --- a/doc-src/IsarImplementation/Thy/document/base.tex	Wed Nov 15 15:37:34 2006 +0100
     1.2 +++ b/doc-src/IsarImplementation/Thy/document/base.tex	Wed Nov 15 15:39:22 2006 +0100
     1.3 @@ -13,7 +13,7 @@
     1.4  \isacommand{theory}\isamarkupfalse%
     1.5  \ base\isanewline
     1.6  \isakeyword{imports}\ CPure\isanewline
     1.7 -\isakeyword{uses}\ {\isachardoublequoteopen}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline
     1.8 +\isakeyword{uses}\ {\isachardoublequoteopen}{\isachardot}{\isachardot}{\isacharslash}{\isachardot}{\isachardot}{\isacharslash}antiquote{\isacharunderscore}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline
     1.9  \isakeyword{begin}\isanewline
    1.10  \isanewline
    1.11  \isacommand{end}\isamarkupfalse%