--- a/src/Pure/Thy/sessions.scala Mon Dec 12 13:28:18 2022 +0100
+++ b/src/Pure/Thy/sessions.scala Mon Dec 12 13:59:18 2022 +0100
@@ -79,6 +79,9 @@
", loaded_theories = " + loaded_theories.size +
", used_theories = " + used_theories.length + ")"
+ def all_document_theories: List[Document.Node.Name] =
+ proper_session_theories ::: document_theories
+
def loaded_theory(name: String): Boolean = loaded_theories.defined(name)
def loaded_theory(name: Document.Node.Name): Boolean = loaded_theory(name.theory)