--- a/src/HOL/Library/Library.thy Mon Feb 12 09:30:22 2024 +0000 +++ b/src/HOL/Library/Library.thy Tue Feb 13 17:18:50 2024 +0000 @@ -41,6 +41,7 @@ Groups_Big_Fun Indicator_Function Infinite_Set + Infinite_Typeclass Interval Interval_Float IArray