| changeset 69517 | dc20f278e8f3 |
| parent 69508 | 2a4c8a2a3f8e |
| child 69529 | 4ab9657b3257 |
--- a/src/HOL/Analysis/Cauchy_Integral_Theorem.thy Thu Dec 27 23:38:55 2018 +0100 +++ b/src/HOL/Analysis/Cauchy_Integral_Theorem.thy Fri Dec 28 10:29:59 2018 +0100 @@ -1,4 +1,4 @@ -section \<open>Complex path integrals and Cauchy's integral theorem\<close> +section \<open>Complex Path Integrals and Cauchy's Integral Theorem\<close> text\<open>By John Harrison et al. Ported from HOL Light by L C Paulson (2015)\<close>