--- a/src/Pure/Thy/sessions.scala Mon Sep 16 15:30:38 2019 +0200
+++ b/src/Pure/Thy/sessions.scala Mon Sep 16 16:00:10 2019 +0200
@@ -174,10 +174,6 @@
def node_syntax(nodes: Document.Nodes, name: Document.Node.Name): Outer_Syntax =
nodes(name).syntax orElse loaded_theory_syntax(name) getOrElse overall_syntax
- def dest_known_theories: List[(String, String)] =
- for ((theory, entry) <- known.theories.toList)
- yield (theory, entry.name.node)
-
def get_imports: Base =
imports getOrElse Base.bootstrap(session_directories, global_theories)
}