--- a/src/Pure/thm_name.scala	Tue Feb 11 23:31:12 2025 +0100
+++ b/src/Pure/thm_name.scala	Wed Feb 12 00:40:57 2025 +0100
@@ -7,9 +7,6 @@
 package isabelle
 
 
-import scala.math.Ordering
-
-
 object Thm_Name {
   object Ordering extends scala.math.Ordering[Thm_Name] {
     def compare(thm_name1: Thm_Name, thm_name2: Thm_Name): Int =