src/Pure/Thy/presentation.scala

     def get(name: String): Option[Node_Info] = theory_node_info.get(name)
   }
 
 
   /* 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] =
         (props, props, props) match {