--- a/doc-src/Locales/Locales/Examples.thy	Fri Mar 09 22:05:15 2012 +0100
+++ b/doc-src/Locales/Locales/Examples.thy	Sat Mar 10 16:49:34 2012 +0100
@@ -193,7 +193,8 @@
   notions of infimum and supremum for partial orders are introduced,
   together with theorems about their uniqueness.  *}
 
-  context partial_order begin
+  context partial_order
+  begin
 
   definition
     is_inf where "is_inf x y i =