
diff -r bb82ebb18b5d -r 3fab5b28027d src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Sun Nov 17 09:50:54 2024 +0100
+++ b/src/HOL/Library/Library.thy	Sun Nov 17 21:20:26 2024 +0100
@@ -21,7 +21,7 @@
   Countable_Set_Type
   Debug
   Diagonal_Subsequence
-  Discrete
+  Discrete_Functions
   Disjoint_Sets
   Disjoint_FSets
   Dlist




