--- a/src/HOL/Library/Library.thy Wed Apr 18 21:12:50 2018 +0100 +++ b/src/HOL/Library/Library.thy Wed May 02 13:49:38 2018 +0200 @@ -28,7 +28,6 @@ Finite_Map Float FSet - FuncSet Function_Division Fun_Lexorder Going_To_Filter