diff -r 0428c7ad25aa -r 1d4300506338 src/Pure/name.scala
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Pure/name.scala	Thu Jun 06 21:48:36 2024 +0200
@@ -0,0 +1,12 @@
+/*  Title:      Pure/name.scala
+    Author:     Makarius
+
+Items with formal name.
+*/
+
+package isabelle
+
+
+object Name {
+  trait T { def name: String }
+}