# HG changeset patch
# User wenzelm
# Date 1215551675 -7200
# Node ID c99c72458ec5e2d907069d85400d10b820329085
# Parent  ddd1e71adbfc77fcc20d19b70353377f25eba3b1
updated generated file;

diff -r ddd1e71adbfc -r c99c72458ec5 doc-src/Locales/Locales/document/Examples3.tex
--- a/doc-src/Locales/Locales/document/Examples3.tex	Tue Jul 08 22:25:12 2008 +0200
+++ b/doc-src/Locales/Locales/document/Examples3.tex	Tue Jul 08 23:14:35 2008 +0200
@@ -615,7 +615,7 @@
   parameter of \isa{lattice{\isacharunderscore}hom}.  By looking at the inheritance diagram it would seem
   that two identical copies of each of the locales \isa{partial{\isacharunderscore}order} and \isa{lattice} are imported.  This is not the
   case!  Inheritance paths with identical morphisms are detected and
-  the conclusions of the respecitve locales appear only once.
+  the conclusions of the respective locales appear only once.
 
 \begin{figure}
 \hrule \vspace{2ex}
diff -r ddd1e71adbfc -r c99c72458ec5 doc-src/Locales/Locales/document/session.tex
--- a/doc-src/Locales/Locales/document/session.tex	Tue Jul 08 22:25:12 2008 +0200
+++ b/doc-src/Locales/Locales/document/session.tex	Tue Jul 08 23:14:35 2008 +0200
@@ -1,5 +1,3 @@
-\input{GCD.tex}
-
 \input{Examples.tex}
 
 \input{Examples1.tex}