
diff -r 7d3e818fe21f -r 7c5842b06114 src/HOL/Set.thy
--- a/src/HOL/Set.thy	Thu Aug 05 07:12:49 2021 +0000
+++ b/src/HOL/Set.thy	Thu Aug 05 07:12:49 2021 +0000
@@ -7,7 +7,7 @@
 section \<open>Set theory for higher-order logic\<close>
 
 theory Set
-  imports Lattices Boolean_Algebra
+  imports Lattices Boolean_Algebras
 begin
 
 subsection \<open>Sets as predicates\<close>




