# HG changeset patch
# User wenzelm
# Date 1627903856 -7200
# Node ID 0572c733d12d921f3e5d2a374580c6b711187c75
# Parent  d804e93ae9ffa142c42ae9d73fcc8fb0a0b4150e
removed junk;

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