src/HOL/Main.thy

--- a/src/HOL/Main.thy	Tue Sep 21 11:23:18 2021 +0200
+++ b/src/HOL/Main.thy	Tue Sep 21 11:34:58 2021 +0200
@@ -104,6 +104,5 @@
 end
 
 unbundle no_lattice_syntax
-no_notation Inf ("\<Sqinter>") and Sup ("\<Squnion>")
 
 end