src/Doc/Locales/Examples2.thy

--- a/src/Doc/Locales/Examples2.thy	Tue Jul 22 14:36:31 2014 +0200
+++ b/src/Doc/Locales/Examples2.thy	Tue Jul 22 14:52:35 2014 +0200
@@ -1,7 +1,6 @@
 theory Examples2
 imports Examples
 begin
-text {* \vspace{-5ex} *}
   interpretation %visible int: partial_order "op \<le> :: [int, int] \<Rightarrow> bool"
     where "int.less x y = (x < y)"
   proof -