diff -r d804e93ae9ff -r 0572c733d12d src/HOL/Main.thy
--- a/src/HOL/Main.thy	Mon Aug 02 10:01:06 2021 +0000
+++ b/src/HOL/Main.thy	Mon Aug 02 13:30:56 2021 +0200
@@ -71,6 +71,4 @@
   "_SUP1"     :: "pttrns \<Rightarrow> 'b \<Rightarrow> 'b"           ("(3\<Squnion>_./ _)" [0, 10] 10)
   "_SUP"      :: "pttrn \<Rightarrow> 'a set \<Rightarrow> 'b \<Rightarrow> 'b"  ("(3\<Squnion>_\<in>_./ _)" [0, 0, 10] 10)
 
-thy_deps
-
 end