1.1 --- a/doc-src/IsarImplementation/implementation.tex	Thu Aug 31 18:27:40 2006 +0200
     1.2 +++ b/doc-src/IsarImplementation/implementation.tex	Thu Aug 31 22:55:49 2006 +0200
     1.3 @@ -29,7 +29,7 @@
     1.4  \begin{abstract}
     1.5    We describe the key concepts underlying the Isabelle/Isar
     1.6    implementation, including ML references for the most important
     1.7 -  elements.  The aim is to give some insight into the overall system
     1.8 +  functions.  The aim is to give some insight into the overall system
     1.9    architecture, and provide clues on implementing user extensions.
    1.10  \end{abstract}
    1.11