--- a/doc-src/IsarImplementation/Thy/document/ML.tex Sat Nov 04 19:25:38 2006 +0100
+++ b/doc-src/IsarImplementation/Thy/document/ML.tex Sat Nov 04 19:25:39 2006 +0100
@@ -41,7 +41,7 @@
written once, modified ten times, and read
100 times. So simplify its writing,
always keep future modifications in mind,
- and never jeopardize readability. Every second you hesitate
+ and never jeopardize readability. Every second you hesitate
to spend on making your code more clear you will
have to spend ten times understanding what you have
written later on.