--- a/src/HOL/Corec_Examples/Tests/Type_Class.thy	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Corec_Examples/Tests/Type_Class.thy	Fri Aug 18 20:47:47 2017 +0200
@@ -9,7 +9,7 @@
 section \<open>Tests Type Class Instances as Friends\<close>
 
 theory Type_Class
-imports "~~/src/HOL/Library/BNF_Corec" "~~/src/HOL/Library/Stream"
+imports "HOL-Library.BNF_Corec" "HOL-Library.Stream"
 begin
 
 instantiation stream :: (plus) plus