/* Title: Pure/name.scala Author: Makarius Items with formal name. */ package isabelle object Name { trait T { def name: String } type Data[A] = Map[String, A] }