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