diff -r 6ac7a4fc32a0 -r 121bc2135bd3 doc-src/IsarImplementation/implementation.tex
--- a/doc-src/IsarImplementation/implementation.tex	Wed Sep 06 22:48:36 2006 +0200
+++ b/doc-src/IsarImplementation/implementation.tex	Thu Sep 07 15:16:26 2006 +0200
@@ -32,7 +32,8 @@
   We describe the key concepts underlying the Isabelle/Isar
   implementation, including ML references for the most important
   functions.  The aim is to give some insight into the overall system
-  architecture, and provide clues on implementing user extensions.
+  architecture, and provide clues on implementing applications within
+  this framework.
 \end{abstract}
 
 \vspace*{2.5cm}