unused;

--- a/src/Pure/Thy/presentation.scala	Wed Aug 17 15:49:59 2022 +0200
+++ b/src/Pure/Thy/presentation.scala	Wed Aug 17 15:56:04 2022 +0200
@@ -188,8 +188,6 @@
 
   /* formal entities */
 
-  type Entity = Export_Theory.Entity[Export_Theory.No_Content]
-
   object Entity_Context {
     object Theory_Ref {
       def unapply(props: Properties.T): Option[Document.Node.Name] =