--- a/src/HOL/Algebra/Congruence.thy Wed Apr 18 21:12:50 2018 +0100
+++ b/src/HOL/Algebra/Congruence.thy Wed May 02 13:49:38 2018 +0200
@@ -4,9 +4,8 @@
*)
theory Congruence
-imports
- Main
- "HOL-Library.FuncSet"
+ imports
+ Main HOL.FuncSet
begin
section \<open>Objects\<close>