changeset 65505 741fad555d82
parent 65504 b80477da30eb
child 66576 7d4da1c62de7
--- a/src/Doc/System/Sessions.thy	Tue Apr 18 14:51:46 2017 +0200
+++ b/src/Doc/System/Sessions.thy	Tue Apr 18 16:34:58 2017 +0200
@@ -121,6 +121,9 @@
   into the current ML process, which is in contrast to a theory that is
   already present in the \<^emph>\<open>parent\<close> session.
+  Theories that are imported from other sessions are excluded from the current
+  session document.
   \<^descr> \isakeyword{theories}~\<open>options names\<close> specifies a block of theories that
   are processed within an environment that is augmented by the given options,
   in addition to the global session options given before. Any number of blocks