# HG changeset patch
# User webertj
# Date 1274631798 -3600
# Node ID 2e93e29a809af389d1a223b7f6c8a17cff653ec9
# Parent  8808a1aa12a2880b18e9efd914b0cd6bb571aaca
Typo fixed.

diff -r 8808a1aa12a2 -r 2e93e29a809a doc-src/Locales/Locales/Examples.thy
--- 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.