diff -r 9c6c1b3f3eb6 -r 2b658e50683a doc-src/IsarImplementation/Thy/Integration.thy
--- a/doc-src/IsarImplementation/Thy/Integration.thy	Mon Feb 16 21:23:34 2009 +0100
+++ b/doc-src/IsarImplementation/Thy/Integration.thy	Mon Feb 16 21:39:19 2009 +0100
@@ -122,7 +122,7 @@
   Internally, Isar commands are put together from an empty transition
   extended by name and source position (and optional source text).  It
   is then left to the individual command parser to turn the given
-  concrete syntax into a suitable transition transformer that adjoin
+  concrete syntax into a suitable transition transformer that adjoins
   actual operations on a theory or proof state etc.
 *}