--- a/src/Pure/Thy/export_theory.scala Sun Nov 21 17:42:11 2021 +0100
+++ b/src/Pure/Thy/export_theory.scala Mon Nov 22 15:03:37 2021 +0100
@@ -94,15 +94,6 @@
locale_dependencies.iterator.map(_.no_content) ++
(for { (_, xs) <- others; x <- xs.iterator } yield x.no_content)
- lazy val entity_by_range: Map[Symbol.Range, List[Entity[No_Content]]] =
- entity_iterator.toList.groupBy(_.range)
-
- lazy val entity_by_kind_name: Map[(String, String), Entity[No_Content]] =
- entity_iterator.map(entity => ((entity.kind, entity.name), entity)).toMap
-
- lazy val entity_kinds: Set[String] =
- entity_iterator.map(_.kind).toSet
-
def cache(cache: Term.Cache): Theory =
Theory(cache.string(name),
parents.map(cache.string),