--- a/src/HOL/Library/Library.thy Sun Nov 03 21:46:46 2019 -0500 +++ b/src/HOL/Library/Library.thy Sun Oct 27 21:51:14 2019 -0400 @@ -38,6 +38,7 @@ Groups_Big_Fun Indicator_Function Infinite_Set + Interval IArray Landau_Symbols Lattice_Algebras