improving spelling
authorbulwahn
Wed Mar 28 10:37:30 2012 +0200 (2012-03-28)
changeset 47180c14fda8fee38
parent 47179 54b38de0620e
child 47181 b351ad77eb78
improving spelling
doc-src/IsarImplementation/Thy/ML.thy
     1.1 --- a/doc-src/IsarImplementation/Thy/ML.thy	Wed Mar 28 10:16:02 2012 +0200
     1.2 +++ b/doc-src/IsarImplementation/Thy/ML.thy	Wed Mar 28 10:37:30 2012 +0200
     1.3 @@ -120,7 +120,7 @@
     1.4  
     1.5    For historical reasons, many capitalized names omit underscores,
     1.6    e.g.\ old-style @{ML_text FooBar} instead of @{ML_text Foo_Bar}.
     1.7 -  Genuine mixed-case names are \emph{not} used, bacause clear division
     1.8 +  Genuine mixed-case names are \emph{not} used, because clear division
     1.9    of words is essential for readability.\footnote{Camel-case was
    1.10    invented to workaround the lack of underscore in some early
    1.11    non-ASCII character sets.  Later it became habitual in some language
    1.12 @@ -1774,4 +1774,4 @@
    1.13    to implement a mailbox as synchronized variable over a purely
    1.14    functional queue. *}
    1.15  
    1.16 -end
    1.17 \ No newline at end of file
    1.18 +end