Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Typo fixed.
authorwebertj
Sun, 23 May 2010 17:23:18 +0100
changeset 37094 2e93e29a809a
parent 37093 8808a1aa12a2
child 37095 805d18dae026
Typo fixed.
doc-src/Locales/Locales/Examples.thy file | annotate | diff | comparison | revisions 
--- 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.
isabelle