doc-src/IsarImplementation/Thy/document/Base.tex

--- a/doc-src/IsarImplementation/Thy/document/Base.tex	Mon Feb 16 20:47:44 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/Base.tex	Mon Feb 16 20:49:39 2009 +0100
@@ -1,17 +1,14 @@
 %
 \begin{isabellebody}%
-\def\isabellecontext{base}%
+\def\isabellecontext{Base}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
-\ base\isanewline
+\ Base\isanewline
 \isakeyword{imports}\ Pure\isanewline
 \isakeyword{uses}\ {\isachardoublequoteopen}{\isachardot}{\isachardot}{\isacharslash}{\isachardot}{\isachardot}{\isacharslash}antiquote{\isacharunderscore}setup{\isachardot}ML{\isachardoublequoteclose}\isanewline
 \isakeyword{begin}\isanewline