--- a/doc-src/Locales/Locales/Examples.thy Sun May 23 17:22:30 2010 +0100
+++ b/doc-src/Locales/Locales/Examples.thy Sun May 23 17:23:18 2010 +0100
@@ -654,7 +654,7 @@
definitions and other constructs that are not part of the
specifications of the locales.
- The first from of interpretation we will consider in this tutorial
+ The first form of interpretation we will consider in this tutorial
is provided by the \isakeyword{sublocale} command. It enables to
modify the import hierarchy to reflect the \emph{logical} relation
between locales.