# HG changeset patch
# User bulwahn
# Date 1332939273 -7200
# Node ID 9756bcb8882987d131732a4df4e01092e0407b21
# Parent  300fa46fd081e68b2d4eccaed4e283afc08f33c6
updated documentation files (cf. c14fda8fee38)

diff -r 300fa46fd081 -r 9756bcb88829 doc-src/IsarImplementation/Thy/document/ML.tex
--- a/doc-src/IsarImplementation/Thy/document/ML.tex	Wed Mar 28 13:53:30 2012 +0200
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex	Wed Mar 28 14:54:33 2012 +0200
@@ -148,7 +148,7 @@
 
   For historical reasons, many capitalized names omit underscores,
   e.g.\ old-style \verb|FooBar| instead of \verb|Foo_Bar|.
-  Genuine mixed-case names are \emph{not} used, bacause clear division
+  Genuine mixed-case names are \emph{not} used, because clear division
   of words is essential for readability.\footnote{Camel-case was
   invented to workaround the lack of underscore in some early
   non-ASCII character sets.  Later it became habitual in some language
@@ -2403,6 +2403,7 @@
 \isadelimtheory
 %
 \endisadelimtheory
+\isanewline
 \end{isabellebody}%
 %%% Local Variables:
 %%% mode: latex