--- 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}
--- 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}