src/HOL/Main.thy

--- a/src/HOL/Main.thy	Sun Apr 12 16:04:53 2015 +0200
+++ b/src/HOL/Main.thy	Sun Apr 12 11:33:19 2015 +0200
@@ -1,7 +1,7 @@
 section {* Main HOL *}
 
 theory Main
-imports Predicate_Compile Quickcheck_Narrowing Extraction Coinduction Nitpick BNF_Greatest_Fixpoint
+imports Predicate_Compile Quickcheck_Narrowing Extraction Coinduction Nitpick BNF_Greatest_Fixpoint Filter
 begin
 
 text {*