Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed junk;
authorwenzelm
Mon, 02 Aug 2021 13:30:56 +0200
changeset 74102 0572c733d12d
parent 74101 d804e93ae9ff
child 74103 3b56d00ac333
removed junk;
src/HOL/Main.thy file | annotate | diff | comparison | revisions 
--- 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
isabelle