src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Sat Sep 13 19:38:20 2025 +0200
+++ b/src/Pure/ROOT.ML	Sat Sep 13 19:51:53 2025 +0200
@@ -1,6 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
-    UUID:       395939fa-0e0a-4b36-9300-2c92c0362e47
+    UUID:       0b801365-9dc6-460b-b12b-fd4c28e63cf1
 
 Main entry point for the Isabelle/Pure bootstrap process.