--- 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