Front matter updated.

--- a/doc-src/Locales/Locales/document/root.tex	Sat Mar 28 00:13:01 2009 +0100
+++ b/doc-src/Locales/Locales/document/root.tex	Sat Mar 28 21:07:04 2009 +0100
@@ -29,13 +29,8 @@
 
 \maketitle
 
-%\thispagestyle{myheadings}
-%\markright{Technical Report TUM-I0723, Technische Universit\"at M\"unchen, 2007}
-\thispagestyle{myheadings}
-\markright{This tutorial is currently not consistent.}
-
 \begin{abstract}
-  Locales are Isabelle's mechanism to deal with parametric theories.
+  Locales are Isabelle's mechanism for dealing with parametric theories.
   We present typical examples of locale specifications,
   along with interpretations between locales to change their
   hierarchic dependencies and interpretations to reuse locales in
@@ -43,7 +38,7 @@
 
   This tutorial is intended for locale novices; familiarity with
   Isabelle and Isar is presumed.
-  The 2nd revision accommodates changes introduced by the locales
+  The second revision accommodates changes introduced by the locales
   reimplementation for Isabelle 2009.  Most notably, in complex
   specifications (\emph{locale expressions}) renaming has been
   generalised to instantiation.