--- a/doc-src/Locales/Locales/document/Examples.tex Thu Jan 01 21:28:38 2009 +0100
+++ b/doc-src/Locales/Locales/document/Examples.tex Thu Jan 01 21:30:13 2009 +0100
@@ -1222,7 +1222,7 @@
\endisadelimvisible
%
\isatagvisible
-\isacommand{interpretation}\isamarkupfalse%
+\isacommand{sublocale}\isamarkupfalse%
\ total{\isacharunderscore}order\ {\isasymsubseteq}\ lattice%
\begin{isamarkuptxt}%
This enters the context of locale \isa{total{\isacharunderscore}order}, in
@@ -1325,7 +1325,7 @@
Similarly, total orders are distributive lattices.%
\end{isamarkuptext}%
\isamarkuptrue%
-\ \ \isacommand{interpretation}\isamarkupfalse%
+\ \ \isacommand{sublocale}\isamarkupfalse%
\ total{\isacharunderscore}order\ {\isasymsubseteq}\ distrib{\isacharunderscore}lattice\isanewline
%
\isadelimproof