
diff -r 3f8416014245 -r 37608f78c44d src/Tools/Haskell/Haskell.thy
--- a/src/Tools/Haskell/Haskell.thy	Tue Nov 04 12:43:15 2025 +0100
+++ b/src/Tools/Haskell/Haskell.thy	Tue Nov 04 13:20:06 2025 +0100
@@ -1,5 +1,6 @@
 (*  Title:      Tools/Haskell/Haskell.thy
     Author:     Makarius
+    UUID:       0e3ceb40-61a8-4f78-a6c7-ae4892dd80b3
 
 Support for Isabelle tools in Haskell.
 *)




