removed junk;
authorwenzelm
Mon, 02 Aug 2021 13:30:56 +0200
changeset 74366 0572c733d12d
parent 74365 d804e93ae9ff
child 74367 3b56d00ac333
removed junk;
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