/* Title: Pure/name.scala Author: Makarius Items with formal name. */ package isabelle object Name { trait T { def name: String } }