
diff -r 48262e3a2bde -r 2af1f142f855 src/HOL/Library/Library.thy
--- a/src/HOL/Library/Library.thy	Tue May 15 06:23:12 2018 +0200
+++ b/src/HOL/Library/Library.thy	Tue May 15 11:33:43 2018 +0200
@@ -30,6 +30,7 @@
   Finite_Map
   Float
   FSet
+  FuncSet
   Function_Division
   Fun_Lexorder
   Going_To_Filter




