src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy

--- a/src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy	Fri Aug 18 13:55:05 2017 +0200
+++ b/src/HOL/Quickcheck_Examples/Quickcheck_Examples.thy	Fri Aug 18 20:47:47 2017 +0200
@@ -6,7 +6,7 @@
 section \<open>Examples for the 'quickcheck' command\<close>
 
 theory Quickcheck_Examples
-imports Complex_Main "~~/src/HOL/Library/Dlist" "~~/src/HOL/Library/DAList_Multiset"
+imports Complex_Main "HOL-Library.Dlist" "HOL-Library.DAList_Multiset"
 begin
 
 text \<open>