--- a/src/HOL/Library/Library.thy Tue Aug 22 21:36:48 2017 +0200
+++ b/src/HOL/Library/Library.thy Wed Aug 23 01:05:39 2017 +0200
@@ -30,6 +30,7 @@
Function_Division
Function_Growth
Fun_Lexorder
+ Going_To_Filter
Groups_Big_Fun
Indicator_Function
Infinite_Set