--- a/doc-src/Locales/Locales/document/Examples1.tex Wed Jun 04 16:32:24 2008 +0200
+++ b/doc-src/Locales/Locales/document/Examples1.tex Wed Jun 04 16:44:08 2008 +0200
@@ -3,11 +3,16 @@
\def\isabellecontext{Examples{\isadigit{1}}}%
%
\isadelimtheory
+\isanewline
+\isanewline
%
\endisadelimtheory
%
\isatagtheory
-%
+\isacommand{theory}\isamarkupfalse%
+\ Examples{\isadigit{1}}\isanewline
+\isakeyword{imports}\ Examples\isanewline
+\isakeyword{begin}%
\endisatagtheory
{\isafoldtheory}%
%
@@ -134,6 +139,7 @@
\endisadelimtheory
%
\isatagtheory
+\isacommand{end}\isamarkupfalse%
%
\endisatagtheory
{\isafoldtheory}%
@@ -141,6 +147,7 @@
\isadelimtheory
%
\endisadelimtheory
+\isanewline
\end{isabellebody}%
%%% Local Variables:
%%% mode: latex