doc-src/Locales/Locales/Examples.thy

--- a/doc-src/Locales/Locales/Examples.thy	Mon Jan 19 20:05:41 2009 +0100
+++ b/doc-src/Locales/Locales/Examples.thy	Mon Jan 19 21:20:18 2009 +0100
@@ -608,7 +608,7 @@
   and @{text lattice} be placed between @{text partial_order}
   and @{text total_order}, as shown in Figure~\ref{fig:lattices}(b).
   Changes to the locale hierarchy may be declared
-  with the \isakeyword{interpretation} command. *}
+  with the \isakeyword{sublocale} command. *}
 
   sublocale %visible total_order \<subseteq> lattice