--- 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.