# HG changeset patch
# User wenzelm
# Date 1521735513 -3600
# Node ID 0b70405b39698f7ff3179869c7da76a8495925b3
# Parent  e6b9703b9656f72bb838b4d03aee2e07978139e3
tuned;

diff -r e6b9703b9656 -r 0b70405b3969 src/Doc/System/Server.thy
--- a/src/Doc/System/Server.thy	Thu Mar 22 17:06:15 2018 +0100
+++ b/src/Doc/System/Server.thy	Thu Mar 22 17:18:33 2018 +0100
@@ -991,7 +991,7 @@
   Process some example theory from the Isabelle distribution, within the
   context of an already started session for Isabelle/HOL (see also
   \secref{sec:command-session-start}):
-  @{verbatim [display] \<open>use_theories {"session_id": ..., "theories": ["~~/src/HOL/Isar_Examples/Drinker"]}\<close>}
+  @{verbatim [display] \<open>use_theories {"session_id": ..., "theories": ["~~/src/HOL/ex/Seq"]}\<close>}
 
   \<^medskip>
   Process some example theories in the context of their (single) parent