
diff -r d66b34e46bdf -r df70c0291579 doc-src/IsarImplementation/Thy/document/Integration.tex
--- a/doc-src/IsarImplementation/Thy/document/Integration.tex	Mon Feb 16 20:47:44 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/document/Integration.tex	Mon Feb 16 20:49:39 2009 +0100
@@ -1,17 +1,16 @@
 %
 \begin{isabellebody}%
-\def\isabellecontext{integration}%
+\def\isabellecontext{Integration}%
 %
 \isadelimtheory
-\isanewline
-\isanewline
-\isanewline
 %
 \endisadelimtheory
 %
 \isatagtheory
 \isacommand{theory}\isamarkupfalse%
-\ integration\ \isakeyword{imports}\ base\ \isakeyword{begin}%
+\ Integration\isanewline
+\isakeyword{imports}\ Base\isanewline
+\isakeyword{begin}%
 \endisatagtheory
 {\isafoldtheory}%
 %




