# HG changeset patch
# User bulwahn
# Date 1332923850 -7200
# Node ID c14fda8fee387450450744b402e8a6d35a6aab01
# Parent  54b38de0620e8d8051a4f76a871f2001fdd01ebe
improving spelling

diff -r 54b38de0620e -r c14fda8fee38 doc-src/IsarImplementation/Thy/ML.thy
--- a/doc-src/IsarImplementation/Thy/ML.thy	Wed Mar 28 10:16:02 2012 +0200
+++ b/doc-src/IsarImplementation/Thy/ML.thy	Wed Mar 28 10:37:30 2012 +0200
@@ -120,7 +120,7 @@
 
   For historical reasons, many capitalized names omit underscores,
   e.g.\ old-style @{ML_text FooBar} instead of @{ML_text 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
@@ -1774,4 +1774,4 @@
   to implement a mailbox as synchronized variable over a purely
   functional queue. *}
 
-end
\ No newline at end of file
+end