
diff -r 725a91601ed1 -r 27ea2ba48fa3 doc-src/IsarImplementation/implementation.tex
--- 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}
 




