changeset 61610 | 4f54d2759a0b |
parent 61609 | 77b453bd616f |
parent 61560 | 7c985fd653c5 |
child 61806 | d2e62ae01cd8 |
--- a/src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy Tue Nov 10 14:18:41 2015 +0000 +++ b/src/HOL/Multivariate_Analysis/Complex_Analysis_Basics.thy Tue Nov 10 14:43:29 2015 +0000 @@ -5,7 +5,7 @@ section \<open>Complex Analysis Basics\<close> theory Complex_Analysis_Basics -imports "~~/src/HOL/Multivariate_Analysis/Cartesian_Euclidean_Space" +imports Cartesian_Euclidean_Space begin