| changeset 65039 | 87972e6177bc |
| parent 65036 | ab7e11730ad8 |
| child 65064 | a4abec71279a |
--- a/src/HOL/Analysis/Conformal_Mappings.thy Wed Feb 22 12:30:28 2017 +0000 +++ b/src/HOL/Analysis/Conformal_Mappings.thy Wed Feb 22 15:04:59 2017 +0000 @@ -5,7 +5,7 @@ text\<open>Also Cauchy's residue theorem by Wenda Li (2016)\<close> theory Conformal_Mappings -imports "~~/src/HOL/Analysis/Cauchy_Integral_Theorem" +imports "Cauchy_Integral_Theorem" begin