# HG changeset patch
# User ballarin
# Date 1238270824 -3600
# Node ID 492ca5d4f2353f1844f12120f8d9e03fd049f0d2
# Parent  5272864d68920198f767424027f702dd00300531
Front matter updated.

diff -r 5272864d6892 -r 492ca5d4f235 doc-src/Locales/Locales/document/root.tex
--- 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.