--- 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