1 /* Title: Pure/name.scala
2 Author: Makarius
3
4 Items with formal name.
5 */
6
7 package isabelle
8
9
10 object Name {
11 trait T { def name: String }
12 }