changeset 63680 | 6e1e8b5abbfa |
parent 63550 | 3a0f40a6fa42 |
child 63952 | 354808e9f44b |
--- a/src/HOL/Series.thy Fri Aug 12 17:49:02 2016 +0200 +++ b/src/HOL/Series.thy Fri Aug 12 17:53:55 2016 +0200 @@ -817,7 +817,7 @@ text \<open> Proof based on Analysis WebNotes: Chapter 07, Class 41 - @{url "http://www.math.unl.edu/~webnotes/classes/class41/prp77.htm"} + \<^url>\<open>http://www.math.unl.edu/~webnotes/classes/class41/prp77.htm\<close> \<close> lemma Cauchy_product_sums: