--- 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}