# HG changeset patch
# User wenzelm
# Date 1526052450 -7200
# Node ID edacd2a050be3834650919ac5c6b86f95d8d4a35
# Parent  7b995cd6d5d4a97ee85d07b161da0e20387b8a94
proper heading;

diff -r 7b995cd6d5d4 -r edacd2a050be src/Doc/System/Server.thy
--- a/src/Doc/System/Server.thy	Fri May 11 11:42:23 2018 +0200
+++ b/src/Doc/System/Server.thy	Fri May 11 17:27:30 2018 +0200
@@ -826,7 +826,7 @@
 \<close>
 
 
-subsection \<open>Examples\<close>
+subsubsection \<open>Examples\<close>
 
 text \<open>
   Start a default Isabelle/HOL session: