author webertj Sun, 23 May 2010 17:23:18 +0100 changeset 37094 2e93e29a809a parent 37093 8808a1aa12a2 child 37095 805d18dae026
Typo fixed.
--- 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.