--- a/src/Pure/ROOT.scala Fri Jan 24 13:06:29 2025 +0100
+++ b/src/Pure/ROOT.scala Fri Jan 24 14:35:47 2025 +0100
@@ -1,6 +1,6 @@
/* Title: Pure/ROOT.scala
Author: Makarius
- UUID: b179c273-64ed-4480-82ff-2a8ad1b2eef3
+ UUID: 3d6bbaf8-645c-4431-ba30-9b864c20b009
Root of isabelle package.
*/