changeset 65417 | fc41a5650fb1 |
parent 64790 | ed38f9a834d8 |
child 66453 | cc19f7ca2ed6 |
--- a/src/HOL/Analysis/Arcwise_Connected.thy Thu Apr 06 08:33:37 2017 +0200 +++ b/src/HOL/Analysis/Arcwise_Connected.thy Thu Apr 06 21:37:13 2017 +0200 @@ -5,7 +5,7 @@ section \<open>Arcwise-connected sets\<close> theory Arcwise_Connected - imports Path_Connected Ordered_Euclidean_Space "~~/src/HOL/Number_Theory/Primes" + imports Path_Connected Ordered_Euclidean_Space "~~/src/HOL/Computational_Algebra/Primes" begin