Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Analysis/Complex_Analysis_Basics.thy
changeset 69286 e4d5a07fecb6
parent 69180 922833cc6839
child 69508 2a4c8a2a3f8e 
--- a/src/HOL/Analysis/Complex_Analysis_Basics.thy	Sun Nov 11 14:34:02 2018 +0100
+++ b/src/HOL/Analysis/Complex_Analysis_Basics.thy	Sun Nov 11 16:08:59 2018 +0100
@@ -761,7 +761,7 @@
   show ?rhs
     apply (rule_tac x="s \<inter> t" in exI)
     using st
-    apply (auto simp: Diff_subset holomorphic_on_subset)
+    apply (auto simp: holomorphic_on_subset)
     done
 next
   assume ?rhs
isabelle