diff -r 445d27ab591b -r fe7238c01809 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Thu Dec 19 17:01:54 2024 +0000
+++ b/src/Pure/ROOT.ML	Thu Dec 19 22:19:27 2024 +0100
@@ -1,5 +1,6 @@
 (*  Title:      Pure/ROOT.ML
     Author:     Makarius
+    UUID:       f8791cc7-32d7-44a6-8a15-e6a7f849fd2c
 
 Main entry point for the Isabelle/Pure bootstrap process.