--- a/src/Pure/Thy/thy_info.scala Thu Sep 28 11:53:55 2017 +0200
+++ b/src/Pure/Thy/thy_info.scala Thu Sep 28 15:11:32 2017 +0200
@@ -61,13 +61,8 @@
lazy val syntax: Outer_Syntax =
resources.session_base.syntax.add_keywords(keywords).add_abbrevs(abbrevs)
- def loaded_theories: Map[String, String] =
- (resources.session_base.loaded_theories /: rev_deps) {
- case (loaded, dep) =>
- val name = dep.name
- loaded + (name.theory -> name.theory) +
- (name.theory_base_name -> name.theory) // legacy
- }
+ def loaded_theories: Set[String] =
+ resources.session_base.loaded_theories ++ rev_deps.map(dep => dep.name.theory)
def loaded_files: List[(String, List[Path])] =
{